git-debrebase: fix rm of debian/patches not to mind if there aren't any

diff --git a/git-debrebase b/git-debrebase
index f55ef4eb59721e1596922b918f637897345d4f2d..ed3fc55e3a643e73a23f224f741a9417a7a05fb6 100755 (executable)
--- a/git-debrebase
+++ b/git-debrebase
@@ -711,7 +711,7 @@ sub cmd_launder () {
     my ($tip,$breakwater) = walk $old;
     update_head $old, $tip, 'launder';
     # no tree changes except debian/patches
     my ($tip,$breakwater) = walk $old;
     update_head $old, $tip, 'launder';
     # no tree changes except debian/patches

-    runcmd @git, qw(rm --quiet -rf debian/patches);
+    runcmd @git, qw(rm --quiet --ignore-unmatch -rf debian/patches);

     printf "# breakwater tip\n%s\n", $breakwater;
 }
 
     printf "# breakwater tip\n%s\n", $breakwater;
 }