Skip complexity tests on demand

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11375 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 10 insertions, 2 deletions

diff --git a/test-suite/check b/test-suite/check
index e4fd2a4c9..47960e98d 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -250,8 +250,16 @@ echo "Interactive tests"
 test_interactive interactive
 echo "Micromega tests"
 test_success micromega
-echo "Complexity tests"
-test_complexity complexity
+
+# We give a chance to disable the complexity tests which may cause
+# random build failures on build farms
+if [ -z "$COQTEST_SKIPCOMPLEXITY" ]; then
+  echo "Complexity tests"
+  test_complexity complexity
+else
+  echo "Skipping complexity tests"
+fi
+
 echo "Module tests"
 $coqtop -compile modules/Nat
 $coqtop -compile modules/plik