diff options
author | eschnett <eschnett@9e23cc15-e5c8-4d65-9080-beda90ea645b> | 2012-06-12 18:27:46 +0000 |
---|---|---|
committer | eschnett <eschnett@9e23cc15-e5c8-4d65-9080-beda90ea645b> | 2012-06-12 18:27:46 +0000 |
commit | 7043d4ef8de562767983ae0a2cb49b8c6671e6f5 (patch) | |
tree | 826fe04e9299a4caf57fe53856a46685ca22b473 | |
parent | f1f50871a82dbccf5858a390b3e7bbf3360ad562 (diff) |
Rename configuration script
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/GSL/trunk@29 9e23cc15-e5c8-4d65-9080-beda90ea645b
-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" |