# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1265575813 18000
# Node ID 64a9d74111e67f20bce66fae88e83585db7aa64c
# Parent  ed3e5329b60eeddd13ea6abf9083de76cea0b8c3
Tiny Makefile fix for sed style/compatibility

diff -r ed3e5329b60e -r 64a9d74111e6 Makefile.am
--- a/Makefile.am	Sun Feb 07 09:51:41 2010 -0500
+++ b/Makefile.am	Sun Feb 07 15:50:13 2010 -0500
@@ -29,8 +29,8 @@
 
 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
diff -r ed3e5329b60e -r 64a9d74111e6 Makefile.in
--- a/Makefile.in	Sun Feb 07 09:51:41 2010 -0500
+++ b/Makefile.in	Sun Feb 07 15:50:13 2010 -0500
@@ -723,8 +723,8 @@
 
 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