diff -r 947cd22ec986 -r 5d037d947cd6 dev/clean_dev.sh
--- a/dev/clean_dev.sh	Sat Apr 19 17:00:40 2014 +0200
+++ b/dev/clean_dev.sh	Wed Apr 30 12:02:50 2014 +0200
@@ -8,10 +8,10 @@
 
 pushd "$ROOTPATH" > /dev/null
 
-rm -rfv .installed.cfg .mr.developer.cfg parts/ eggs/ develop-eggs/ bin/ \
+rm -rf .installed.cfg .mr.developer.cfg parts/ eggs/ develop-eggs/ bin/ \
     src/cm/settings_local.py test-suite/workspace.info*.js \
-    test-suite/{clean-testserver.sh,karma.conf.full.js} \
-    test-suite/{start-test-suite-full.sh,start-testserver.sh}
+    test-suite/{clean-testserver.sh,karma.conf.dev.js} \
+    test-suite/{start-test-suite-dev.sh,start-testserver.sh}
 
 find . -name '*.pyc' -or -name '*.egg-info' | xargs rm -rvf