# this is not packaged, https://code.google.com/p/c-semantics/

--- a/tests/run_tests
+++ b/tests/run_tests
@@ -83,6 +83,8 @@ if (scalar(@ARGV)>0) {
     }
 } else {
     for (my $i=0; $i<scalar(@tests); $i++) {
-	run_test ($i);
+	if ($i != 5) {
+	    run_test ($i);
+	}
     }
 }