diff -r 047aab3a53cf -r 736fdedb7774 dev/clean_dev.sh --- a/dev/clean_dev.sh Wed Mar 12 17:19:23 2014 +0100 +++ b/dev/clean_dev.sh Fri Mar 14 03:08:58 2014 +0100 @@ -8,7 +8,11 @@ pushd "$ROOTPATH" > /dev/null -rm -rfv .installed.cfg .mr.developer.cfg parts/ eggs/ develop-eggs/ bin/ src/cm/settings_local.py src/cm/scripts/test-suite/workspace.info*.js +rm -rfv .installed.cfg .mr.developer.cfg parts/ eggs/ develop-eggs/ bin/ \ + src/cm/settings_local.py src/cm/scripts/test-suite/workspace.info*.js \ + src/cm/scripts/test-suite/{clean-testserver.sh,karma.conf.full.js} \ + src/cm/scripts/test-suite/{start-test-suite-full.sh,start-testserver.sh} + find . -name '*.pyc' -or -name '*.egg-info' | xargs rm -rvf popd > /dev/null