From cb08b00f2f3298c80c5754dd67c72813d195ee32 Mon Sep 17 00:00:00 2001
From: schnetter <schnetter@9e23cc15-e5c8-4d65-9080-beda90ea645b>
Date: Sun, 22 Nov 2009 04:15:54 +0000
Subject: Use non-empty file for time stamp

git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/GSL/trunk@4 9e23cc15-e5c8-4d65-9080-beda90ea645b
---
 GSL.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 )
-- 
cgit v1.2.3