removed CVSROOT settings

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13899 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Aug 18, 2010 · 834a709 · 834a709
1 parent 7f4b96a
commit 834a709
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 12 deletions.
diff --git a/Haskell/test/run.sh b/Haskell/test/run.sh
@@ -1,7 +1,5 @@
 #!/bin/sh
 
-CVSROOT=:pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository
-
 isabellescriptspath=../../../utils/nightly
 
 run ()

diff --git a/test/runcheck.sh b/test/runcheck.sh
@@ -1,21 +1,17 @@
 #!/bin/sh
 
-CVSROOT=:pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository
-
-export CVSROOT
-
 for i in *
 do
   if [ -d $i ]; then
     echo "processing $i"
     cd $i
-    if [ -f Makefile ] 
+    if [ -f Makefile ]
       then gmake
-    elif [ -x run.sh ] 
+    elif [ -x run.sh ]
       then ./run.sh
-    else echo "nothing done in $i" 
-    fi 
+    else echo "nothing done in $i"
+    fi
     cd ..
-  fi 
+  fi
 done
-  
+