The following commit has been merged in the master branch:
commit 35baa7ab5aebe7fcc77f371112ddf949e0d6f886
Author: Hendrik Tews <hend...@askra.de>
Date:   Sat Mar 24 21:10:12 2012 +0100

    one test only

diff --git a/debian/test-hol-light b/debian/test-hol-light
index e300beb..958682c 100755
--- a/debian/test-hol-light
+++ b/debian/test-hol-light
@@ -9,7 +9,7 @@ function hol_light () {
 function holtest() {
     echo "######################## HOL Light test $1 ###################"
     echo "loadt \"$1\";;" | hol_light 2>&1 | tee /tmp/hol-light-test-log
-    if egrep -i 'error|not_found' /tmp/hol-light-test-log ; then
+    if egrep -i 'error|not.found' /tmp/hol-light-test-log ; then
        echo 
        echo Error in $1, test failed
        false
@@ -17,9 +17,9 @@ function holtest() {
 }
 
 holtest Library/agm.ml
-holtest Library/binary.ml
-holtest Library/binomial.ml
-holtest Library/card.ml
+# holtest Library/binary.ml
+# holtest Library/binomial.ml
+# holtest Library/card.ml
 
 # The prover9 example fails in a clean build environment, because
 # prover9 is not installed there. If you want to test whether error

-- 
hol-light packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to