diff options
Diffstat (limited to 'mailimport')
| -rwxr-xr-x | mailimport | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mailimport b/mailimport index 7b233932e..76364aeea 100755 --- a/mailimport +++ b/mailimport @@ -112,6 +112,11 @@ apply_patch () { make whitespace hg qrefresh else + echo "WILL commit with this comment:" + cat $TMP2| grep -v "^#" + echo "Press <break> within 3 seconds if this is wrong." + sleep 3 + patch -s -t -p1 -l -N -d $pdir -i $next if [ "$?" != "0" ]; then echo "*** ERROR at: patch -s -t -p1 -l -N -d $pdir -i $next" |