Use ASCII for Sebastien Fricker's name.

[bison.git] / djgpp / config.sed

diff --git a/djgpp/config.sed b/djgpp/config.sed
index 33d9870f573f743c18b711935df03db83f354511..63c5749ac1b941ea4302172e0affe6b211756fcf 100644 (file)
--- a/djgpp/config.sed
+++ b/djgpp/config.sed
@@ -1,6 +1,6 @@
 # DJGPP specific configuration file.
 # Sed script for additional DJGPP specific editing
-# of the configure script generated by autoconf 2.60.
+# of the configure script generated by autoconf 2.61.
 
 
 # Copyright (C) 2005, 2006 Free Software Foundation, Inc.
@@ -31,9 +31,11 @@ s,\\.old\\.,_old.,g\
 s,\\.tab\\.,_tab.,g\
 s,c++\\.at,cxx.at,g\
 s,c++\\.m4,cxx.m4,g\
+s,c++-skel\\.m4,cxx-skel.m4,g\
 s,calc++,calcxx,g\
 s,scan-gram-c,c-scan-gram,g\
 s,scan-skel-c,c-scan-skel,g\
+s,inttypes_,_inttypes,g\
 s,Makefile\\.am\\.in,Makefile.am-in,g\
 s,Makefile\\.in\\.in,Makefile.in-in,g\
 /^\\.y\\.c:/,/^$/ {\
@@ -156,6 +158,11 @@ h
 s,^.*\(gl_cv_absolute_\)\([a-z0-9_]*\)\(_h\).*$,\1\2\3=`echo $\1\2\3 | sed "s%[^:]:.*/include/%/dev/env/DJDIR/include/%"`,
 G
 }
+/^.*echo "\$as_me:\$LINENO: result: \$gl_cv_full_.*$/ {
+h
+s,^.*\(gl_cv_full_\)\([a-z0-9_]*\)\(_h\).*$,\1\2\3=`echo $\1\2\3 | sed "s%[^:]:.*/include/%/dev/env/DJDIR/include/%"`,
+G
+}
 
 # The following is not a valid DOS file name
 s/calc++/calcxx/g