dev/clean_dev.sh
changeset 597 6cbcec19079b
child 609 736fdedb7774
equal deleted inserted replaced
596:f36260133ed9 597:6cbcec19079b
       
     1 #!/usr/bin/env bash
       
     2 
       
     3 pushd `dirname $0` > /dev/null
       
     4 SCRIPTPATH=`pwd -P`
       
     5 popd > /dev/null
       
     6 
       
     7 ROOTPATH="$SCRIPTPATH/.."
       
     8 
       
     9 pushd "$ROOTPATH" > /dev/null
       
    10 
       
    11 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
       
    12 find . -name '*.pyc' -or -name '*.egg-info' | xargs rm -rvf
       
    13 
       
    14 popd > /dev/null
       
    15