Use non-empty file for time stamp

git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/GSL/trunk@4 9e23cc15-e5c8-4d65-9080-beda90ea645b

1 files changed, 1 insertions, 1 deletions

diff --git a/GSL.sh b/GSL.sh
index 56a217e..039e52d 100644
--- a/GSL.sh
+++ b/GSL.sh
@@ -56,7 +56,7 @@ unset MAKEFLAGS
         make install
         popd
         
-        : > done-${NAME}
+        echo 'done' > done-${NAME}
         echo "GSL: Done."
     fi
 )