1 files changed, 1 insertions, 0 deletions

diff --git a/configure b/configure
index 0b7ea78e..1a54afec 100755
--- a/configure
+++ b/configure
@@ -552,6 +552,7 @@ fi
 #
 # Tentatively save configuration in config.log
 #
+rm -rf reconfigure
 cat > reconfigure <<!
 #!/bin/sh
 #