diff options
| -rw-r--r-- | configure.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 630a78d..fc02cd9 100644 --- a/configure.sh +++ b/configure.sh @@ -146,7 +146,6 @@ EOF date > ${DONE_FILE} echo "BLAS: Done." - ) if (( $? )); then echo 'BEGIN ERROR' |