New upstream release

1 files changed, 25 insertions, 0 deletions

diff --git a/debian/patches/0001-Disable-micromega-tests.patch b/debian/patches/0001-Disable-micromega-tests.patch
new file mode 100644
index 00000000..8857a874
--- /dev/null
+++ b/debian/patches/0001-Disable-micromega-tests.patch
@@ -0,0 +1,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
+--