clean_sync_leftovers.sh
author Volker Birk <vb@pep-project.org>
Wed, 29 May 2019 11:37:30 +0200
branchsync
changeset 3764 86b50fe25671
parent 3471 3e68b40d3978
permissions -rwxr-xr-x
not a good idea after group keys are there
     1 #!/bin/bash
     2 
     3 cd src; hg status . | sed '/?\ /!d' | sed 's/?\ //' | xargs rm
     4 cd ../asn.1; hg status . | sed '/?\ /!d' | sed 's/?\ //' |  xargs rm
     5 cd ../sync; hg status . | sed '/?\ /!d' | sed 's/?\ //' |  xargs rm
     6 cd ..
     7 branch=`hg branch`
     8 if [ "$branch" = "sync" ]; then
     9     rm src/KeySync_fsm.c src/KeySync_fsm.h src/Sync_actions.c src/Sync_event.c src/Sync_event.h src/Sync_func.c src/Sync_func.h src/Sync_impl.c src/Sync_impl.h src/sync_codec.c src/sync_codec.h
    10 fi