From: Stephane Glondu Date: Mon, 22 Feb 2010 10:39:03 +0100 Subject: [PATCH] Disable micromega tests Workaround for bug #570920. --- test-suite/check | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/test-suite/check b/test-suite/check index bed86c4..e7889cf 100755 --- a/test-suite/check +++ b/test-suite/check @@ -248,8 +248,8 @@ echo "Parser tests" test_parser parser echo "Interactive tests" test_interactive interactive -echo "Micromega tests" -test_success micromega +#echo "Micromega tests" +#test_success micromega # We give a chance to disable the complexity tests which may cause # random build failures on build farms --