summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am
index ecb84ca0..81436cea 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -29,8 +29,8 @@ 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:\1.mlton.grm.sml/; y/:/\n/' \
- | sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
+ | sed -e 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/' -e 'y/:/\n/' \
+ -e 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
>$@
src/urweb.mlton.lex: src/urweb.lex