summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-25 18:58:45 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-25 18:58:45 -0400
commit30a571eeca8ad8c61cc0182ec550d66af179aa37 (patch)
treeb85898dc0f3e73cd0e687570d525a947441a5549 /Makefile.in
parentfdf947acd45af10b1331d9e491105a6c3923badf (diff)
Change 'sed' invocation to work in OSX
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index ec7af282..364b230f 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -32,7 +32,7 @@ src/urweb.cm: src/prefix.cm src/sources
src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
cat src/prefix.mlb src/sources src/suffix.mlb \
- | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig\n\1.mlton.grm.sml/' \
+ | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/; y/:/\n/' \
| sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
>src/urweb.mlb