diff --git a/Haskell/test/run.sh b/Haskell/test/run.sh
index d1a3f14b48..325aab1c36 100755
--- 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
index c01f166234..97d1681798 100755
--- 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
-  
+