diff options
Diffstat (limited to 'source/configure')
| -rwxr-xr-x | source/configure | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/source/configure b/source/configure index 4324e826a1d..e4b5faa6a14 100755 --- a/source/configure +++ b/source/configure @@ -5668,13 +5668,6 @@ rm -fr conftest* fi -DUMMY_FILES=`cd ${srcdir-.} >/dev/null && - echo */. | sed 's, ,dummy ,g;s,$,dummy,'` - -DUMMY_BASE=:include/stamp-h.in - - -DUMMY_GEN=`echo "$DUMMY_FILES" | sed "s, ,$DUMMY_BASE ,g;s,\$,$DUMMY_BASE,"` trap '' 1 2 15 cat > confcache <<\EOF # This file is a shell script that caches the results of configure @@ -5776,7 +5769,7 @@ done ac_given_srcdir=$srcdir ac_given_INSTALL="$INSTALL" -trap 'rm -fr `echo "$DUMMY_GEN Makefile include/stamp-h include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 +trap 'rm -fr `echo "include/stamp-h Makefile include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF cat >> $CONFIG_STATUS <<EOF @@ -5832,8 +5825,6 @@ s%@AUTOCONF@%$AUTOCONF%g s%@AUTOHEADER@%$AUTOHEADER%g s%@CPP@%$CPP%g s%@LIBOBJS@%$LIBOBJS%g -s%@DUMMY_FILES@%$DUMMY_FILES%g -s%@DUMMY_BASE@%$DUMMY_BASE%g CEOF EOF @@ -5875,7 +5866,7 @@ EOF cat >> $CONFIG_STATUS <<EOF -CONFIG_FILES=\${CONFIG_FILES-"$DUMMY_GEN Makefile include/stamp-h"} +CONFIG_FILES=\${CONFIG_FILES-"include/stamp-h Makefile"} EOF cat >> $CONFIG_STATUS <<\EOF for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then |