diff options
author | Samuel Mimram <smimram@debian.org> | 2006-11-23 14:28:36 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2006-11-23 14:28:36 +0000 |
commit | b9343b970c40160fdd0329590a03fdec097de54c (patch) | |
tree | b272880599428e1c22e577dc3eeff659fe0003fc /debian/patches/no-complexity-test.dpatch | |
parent | 94594cf938e4523e60c2a750d56e5a4ab6ca5a42 (diff) |
Skip complexity checks.debian/8.1.gamma-2
Diffstat (limited to 'debian/patches/no-complexity-test.dpatch')
-rw-r--r-- | debian/patches/no-complexity-test.dpatch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/patches/no-complexity-test.dpatch b/debian/patches/no-complexity-test.dpatch new file mode 100644 index 00000000..bf89f1f7 --- /dev/null +++ b/debian/patches/no-complexity-test.dpatch @@ -0,0 +1,21 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## no-complexity-test.dpatch by Julien Cristau <julien.cristau@ens-lyon.org> +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: Don't run complexity tests, they are far too fragile. + +@DPATCH@ +diff -urNad coq-8.1gamma~/test-suite/check coq-8.1gamma/test-suite/check +--- coq-8.1gamma~/test-suite/check 2006-11-03 14:07:27.000000000 +0100 ++++ coq-8.1gamma/test-suite/check 2006-11-23 15:19:49.000000000 +0100 +@@ -145,8 +145,8 @@ + test_parser parser + echo "Interactive tests" + test_interactive interactive +-echo "Complexity tests" +-test_complexity complexity ++echo "Skipping complexity tests" ++#test_complexity complexity + echo "Module tests" + $coqtop -compile modules/Nat + $coqtop -compile modules/plik |