diff --git a/clean_sync_leftovers.sh b/clean_sync_leftovers.sh index 212b1c69..210cc4e9 100755 --- a/clean_sync_leftovers.sh +++ b/clean_sync_leftovers.sh @@ -6,5 +6,5 @@ cd ../sync; hg status . | sed '/?\ /!d' | sed 's/?\ //' | xargs rm cd .. branch=`hg branch` if [ "$branch" = "sync" ]; then - 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 + rm -f src/TrustSync_fsm.c src/TrustSync_fsm.h 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 fi