diff options
Diffstat (limited to '')
-rw-r--r-- | tools/build/configure | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/build/configure b/tools/build/configure index 6ebc34b503..4cbbc7b517 100644 --- a/tools/build/configure +++ b/tools/build/configure @@ -1378,7 +1378,6 @@ ac_given_INSTALL="$INSTALL" trap 'rm -fr `echo "Makefile install-if-change lock-directory -rcs-clean unlock-directory config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF @@ -1479,7 +1478,6 @@ cat >> $CONFIG_STATUS <<EOF CONFIG_FILES=\${CONFIG_FILES-"Makefile install-if-change lock-directory -rcs-clean unlock-directory "} EOF |