1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index b7bd5197..25ea14c8 100755
--- a/configure
+++ b/configure
@@ -346,6 +346,7 @@ fi
 echo "Writing configuration..."
 echo
+rm -f built
 cat <<EOF > config.unix
 # This file was automatically generated by the configure script.
 # Run "./configure --help" for details.

diff --git a/configure b/configure index b7bd5197..25ea14c8 100755 --- a/configure +++ b/configure
@@ -346,6 +346,7 @@ fi
346	echo "Writing configuration..."	346	echo "Writing configuration..."
347	echo	347	echo
348		348
		349	rm -f built
349	cat <<EOF > config.unix	350	cat <<EOF > config.unix
350	# This file was automatically generated by the configure script.	351	# This file was automatically generated by the configure script.
351	# Run "./configure --help" for details.	352	# Run "./configure --help" for details.