diff configure @ 39239:246f0728f1d7

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Tue, 11 Sep 2001 08:31:16 +0000
parents ee23b9f37f80
children 9b67c2187518
line wrap: on
line diff
--- a/configure	Tue Sep 11 08:30:54 2001 +0000
+++ b/configure	Tue Sep 11 08:31:16 2001 +0000
@@ -9319,7 +9319,7 @@
   sed -e '/start of cpp stuff/q' \
       < Makefile.c > junk1.c
   sed -e '1,/start of cpp stuff/d'\
-      -e 's@/\*\*/#\(.*\)$@/* \1 */@' \
+      -e 's,/\*\*/#\(.*\)$,/* \1 */,' \
       < Makefile.c > junk.c
   $CPP $undefs -I. -I$top_srcdir/src $CPPFLAGS junk.c | \
       sed -e 's/^ /	/' -e '/^#/d' -e '/^[ 	]*$/d' > junk2.c
@@ -9335,7 +9335,7 @@
   sed -e '/start of cpp stuff/q' \
       < Makefile.c > junk1.c
   sed -e '1,/start of cpp stuff/d'\
-      -e 's@/\*\*/#\(.*\)$@/* \1 */@' \
+      -e 's,/\*\*/#\(.*\)$,/* \1 */,' \
       < Makefile.c > junk.c
   $CPP $undefs -I. -I$top_srcdir/src $CPPFLAGS junk.c | \
       sed -e 's/^ /	/' -e '/^#/d' -e '/^[ 	]*$/d' > junk2.c