Only do a "make check" if the build is optimized.

1 files changed, 6 insertions, 1 deletions

diff --git a/verify.sh b/verify.sh
index d2c2af40..8a1ba3ad 100755
--- a/verify.sh
+++ b/verify.sh
@@ -94,7 +94,12 @@ function build_ledger() {
 
     (cd gdtoa && make) || exit 1
     make || exit 1
-    make fullcheck || exit 1
+
+    if [ "$1" = "--opt" ]; then
+	make check || exit 1
+    else
+	make fullcheck || exit 1
+    fi
 }
 
 # With all of that defined, now build ledger in all its various