changeset 431:24d22b843729

Change 'sed' invocation to work in OSX
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Oct 2008 18:58:45 -0400
parents 0af37c883358
children 5de838fb0950
files Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Sat Oct 25 12:18:33 2008 -0400
+++ b/Makefile.in	Sat Oct 25 18:58:45 2008 -0400
@@ -32,7 +32,7 @@
 
 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