1 files changed, 5 insertions, 0 deletions
diff --git a/configure b/configure
index 658eca3b..606c6963 100755
--- a/configure
+++ b/configure
@@ -48,6 +48,11 @@ else
     exit 1
 fi
 
+if test -f build.mak; then
+  echo 'Saving build.mak --> build.mak.old'
+  cp -f build.mak build.mak.old
+fi
+
 echo 'Writing build.mak as follows:'
 echo " MACHINE_NAME=$MACHINE_NAME"
 echo " OS_NAME=$OS_NAME"