blob: 8857a8747dee2f8115799b613e23ad783e726d62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From: Stephane Glondu <steph@glondu.net>
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
--
|
