From e52750a2bf701e3c4897f5735fed32300fbd7c98 Mon Sep 17 00:00:00 2001
From: Luis Ibanez <luis.ibanez@kitware.com>
Date: Tue, 19 Jun 2012 17:12:14 -0400
Subject: [PATCH] gtminstall: Always generate configure.sh from scratch

Previously it would append duplicate copies of configure on multiple runs.
---
 sr_unix/gtminstall.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/sr_unix/gtminstall.sh b/sr_unix/gtminstall.sh
index 8ded33f..f5bd1c1 100644
--- 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