clean_sync_leftovers.sh
branchsync
changeset 3471 3e68b40d3978
parent 3165 0d3e23fbdaec
child 4603 1312267a908a
     1.1 --- a/clean_sync_leftovers.sh	Mon Apr 08 11:13:31 2019 +0200
     1.2 +++ b/clean_sync_leftovers.sh	Tue Apr 09 09:05:49 2019 +0200
     1.3 @@ -4,3 +4,7 @@
     1.4  cd ../asn.1; hg status . | sed '/?\ /!d' | sed 's/?\ //' |  xargs rm
     1.5  cd ../sync; hg status . | sed '/?\ /!d' | sed 's/?\ //' |  xargs rm
     1.6  cd ..
     1.7 +branch=`hg branch`
     1.8 +if [ "$branch" = "sync" ]; then
     1.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
    1.10 +fi