1 files changed, 3 insertions, 1 deletions
diff --git a/GSL.sh b/GSL.sh
index 6e7de14..f39321f 100644
--- a/GSL.sh
+++ b/GSL.sh
@@ -29,7 +29,9 @@ unset MAKEFLAGS
     set -x                      # Output commands
     set -e                      # Abort on errors
     cd ${INSTALL_DIR}
-    if [ -e done-${NAME} -a done-${NAME} -nt ${SRCDIR}/dist/${NAME}.tar.gz ]; then
+    if [ -e done-${NAME} -a done-${NAME} -nt ${SRCDIR}/dist/${NAME}.tar.gz \
+                         -a done-${NAME} -nt ${SRCDIR}/GSL.sh ]
+    then
         echo "GSL: The enclosed GSL library has already been built; doing nothing"
     else
         echo "GSL: Building enclosed GSL library"