diff options
Diffstat (limited to 'GSL.sh')
-rw-r--r-- | GSL.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -56,7 +56,7 @@ unset MAKEFLAGS make install popd - : > done-${NAME} + echo 'done' > done-${NAME} echo "GSL: Done." fi ) |