diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl
index 6910f99509b0..cf972bac8eb5 100644
--- 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");
 	}
     }