summaryrefslogtreecommitdiff
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
commit978e1439b5b985f1483f7eb1edfc954e3f2bf1c2 (patch)
treeb85898dc0f3e73cd0e687570d525a947441a5549
parentca867a54a45d6d87d04a99994be11206c9b27388 (diff)
Change 'sed' invocation to work in OSX
-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