gtminstall: Always generate configure.sh from scratch

Previously it would append duplicate copies of configure on multiple runs.
2012-06-19 17:12:14 -04:00 · 2012-06-19 17:12:14 -04:00 · e52750a2bf
parent 81e6aa8856
commit e52750a2bf
1 changed files with 3 additions and 1 deletions
--- a/sr_unix/gtminstall.sh
+++ b/sr_unix/gtminstall.sh
@ -419,8 +419,10 @@ fi
 tmp=`head -1 configure | cut -f 1`
 if [ "#!/bin/sh" != "$tmp" ] ; then
    echo "#!/bin/sh" >configure.sh
+    cat configure >>configure.sh
+else
+    cp configure configure.sh
 fi
-cat configure >>configure.sh
 chmod +x configure.sh

 # Stop here if this is a dry run