clean_sync_leftovers.sh
changeset 3165 0d3e23fbdaec
child 3471 3e68b40d3978
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/clean_sync_leftovers.sh	Thu Nov 29 09:22:30 2018 +0100
     1.3 @@ -0,0 +1,6 @@
     1.4 +#!/bin/bash
     1.5 +
     1.6 +cd src; hg status . | sed '/?\ /!d' | sed 's/?\ //' | xargs rm
     1.7 +cd ../asn.1; hg status . | sed '/?\ /!d' | sed 's/?\ //' |  xargs rm
     1.8 +cd ../sync; hg status . | sed '/?\ /!d' | sed 's/?\ //' |  xargs rm
     1.9 +cd ..