[PPL-devel] [GIT] ppl/ppl(master): Disable these tests on the Alpha.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: cc202a760bf05b37ccab6a20b443ca87831ad2d0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc202a760bf05b37ccab6a20b443ca87831ad2d0

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Mar 29 08:48:27 2009 +0000

Disable these tests on the Alpha.

---

 tests/MIP_Problem/exceptions1.cc |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/tests/MIP_Problem/exceptions1.cc b/tests/MIP_Problem/exceptions1.cc
index 360c6e0..1662ef3 100644
--- a/tests/MIP_Problem/exceptions1.cc
+++ b/tests/MIP_Problem/exceptions1.cc
@@ -485,6 +485,8 @@ test19() {
 } // namespace
 
 BEGIN_MAIN
+#ifndef __alpha__
+  // Exception handling is broken in GCC on the Alpha.
   DO_TEST(test01);
   DO_TEST(test02);
   DO_TEST(test03);
@@ -504,4 +506,5 @@ BEGIN_MAIN
   DO_TEST(test17);
   DO_TEST(test18);
   DO_TEST(test19);
+#endif
 END_MAIN