X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2FTPTP%2Fclassify.sh;h=54634e741a5a90ed18b1723912fe8dc07d1ad54c;hb=b2a190e3c2d5b594d409db937e88f9f4f7d22b8c;hp=2fc71e093ddc3c1253d6e989837a660ea93b49d4;hpb=4d6dfee39ca102851b1f10738598166b15c052da;p=helm.git

diff --git a/helm/software/matita/tests/TPTP/classify.sh b/helm/software/matita/tests/TPTP/classify.sh
index 2fc71e093..54634e741 100755
--- a/helm/software/matita/tests/TPTP/classify.sh
+++ b/helm/software/matita/tests/TPTP/classify.sh
@@ -1,23 +1,27 @@
 #!/bin/bash
 
-mkdir Open
-mkdir Unknown
-mkdir Satisfiable
-mkdir Unsatisfiable
+mkdir -p Open
+mkdir -p Unknown
+mkdir -p Satisfiable
+mkdir -p Unsatisfiable
 
 for X in [A-Z]*.ma; do
-  echo $X
+  echo -n classifying $X ...
   STATUS=`grep "^(\* *Status *:" $X`
   if [ `echo $STATUS | grep Open | wc -l` -eq 1 ]; then
     mv $X Open/
+    echo Open
   fi
   if [ `echo $STATUS | grep Unknown | wc -l` -eq 1 ]; then
     mv $X Unknown/
+    echo Unknown
   fi
   if [ `echo $STATUS | grep Satisfiable | wc -l` -eq 1 ]; then
     mv $X Satisfiable/
+    echo Satisfiable
   fi
   if [ `echo $STATUS | grep Unsatisfiable | wc -l` -eq 1 ]; then
     mv $X Unsatisfiable/
+    echo Unsatisfiable
   fi
 done