Print the patch file name in the warning message for missing patch files.

2004-08-19 07:31:10 +00:00 · 2004-08-19 07:31:10 +00:00 · 6e3c9eb30d
commit 6e3c9eb30d
parent 6734c49167
1 changed files with 1 additions and 1 deletions
--- a/tools/tools/tinderbox/tinderbox.pl
+++ b/tools/tools/tinderbox/tinderbox.pl
@ -501,7 +501,7 @@ MAIN:{
 	    spawn('/usr/bin/patch', "-f", "-s", "-i$patch")
 		or error("failed to apply patch to source tree");
 	} else {
-	    warning("specified patch file does not exist");
+	    warning("$patch does not exist");
 	}
    }