commit 52ae3296bd156ace851a62fe4b6cdb6be4cef0e0
author Eric Newberry <enewberry@cs.arizona.edu> Thu Nov 16 13:54:52 2017 -0700
committer Eric Newberry <enewberry@cs.arizona.edu> Sat Nov 18 20:45:32 2017 -0700
tree e8be5ad1682b353832f8c10af00e2f2a2804ef4c
parent bb734df9f6d5179bb8102a70a5de78b2671d644d

tests: remove reliance of other tests on WITH_TESTS

refs #3609

Change-Id: I8fa858d207cd060cfcda7c86af56dac4afb48fe1

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index c4dc88d..255c7dd 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -21,8 +21,8 @@
   # Cleanup
   sudo env "PATH=$PATH" ./waf --color=yes distclean
 
-  # Configure/build in optimized mode without tests
-  ./waf --color=yes configure
+  # Configure/build in optimized mode without tests, but with "other tests"
+  ./waf --color=yes configure --with-other-tests
   ./waf --color=yes build -j${WAF_JOBS:-1}
 
   # Cleanup