diff options
| -rw-r--r-- | configure.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/configure.sh b/configure.sh index 294ebf8..e2882a8 100644 --- a/configure.sh +++ b/configure.sh @@ -170,7 +170,7 @@ fi ################################################################################ -# Check for additional libraries +# Configure Cactus ################################################################################ # Set options @@ -183,12 +183,6 @@ else fi ZLIB_LIBS='z' - - -################################################################################ -# Configure Cactus -################################################################################ - # Pass options to Cactus echo "BEGIN MAKE_DEFINITION" echo "HAVE_ZLIB = 1" |