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
 )