diff options
| -rw-r--r-- | configuration.ccl | 2 | ||||
| -rw-r--r-- | configure.sh (renamed from GSL.sh) | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/configuration.ccl b/configuration.ccl index 2f7130f..26f6fa3 100644 --- a/configuration.ccl +++ b/configuration.ccl @@ -2,7 +2,7 @@ PROVIDES GSL { - SCRIPT GSL.sh + SCRIPT configure.sh LANG bash OPTIONS GSL_DIR GSL_INSTALL_DIR GSL_LIBS } @@ -77,7 +77,7 @@ then GSL_DIR=${INSTALL_DIR} if [ -e ${DONE_FILE} -a ${DONE_FILE} -nt ${SRCDIR}/dist/${NAME}.tar.gz \ - -a ${DONE_FILE} -nt ${SRCDIR}/GSL.sh ] + -a ${DONE_FILE} -nt ${SRCDIR}/configure.sh ] then echo "BEGIN MESSAGE" echo "GSL has already been built; doing nothing" |