diff options
| -rw-r--r-- | configure.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 7e0bcad..587380e 100644 --- a/configure.sh +++ b/configure.sh @@ -186,7 +186,6 @@ EOF date > ${DONE_FILE} echo "LORENE: Done." - ) if (( $? )); then |