# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1224975525 14400
# Node ID 24d22b843729884ffe17cc592784606a49973778
# Parent  0af37c883358a1e0e3775a517ecd987045fd6d42
Change 'sed' invocation to work in OSX

diff -r 0af37c883358 -r 24d22b843729 Makefile.in
--- 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