Index: tools/common-includes.sh |
diff --git a/tools/common-includes.sh b/tools/common-includes.sh |
index d1b8b01473bd85e536130b7191904a15e2192a20..2b806caa5f44e143ebf70b7d25e55f27786b98b8 100644 |
--- a/tools/common-includes.sh |
+++ b/tools/common-includes.sh |
@@ -184,7 +184,8 @@ the uploaded CL." |
apply_patch() { |
patch $REVERSE_PATCH -p1 < "$1" > "$PATCH_OUTPUT_FILE" || \ |
{ cat "$PATCH_OUTPUT_FILE" && die "Applying the patch failed."; } |
- tee < "$PATCH_OUTPUT_FILE" >(awk '{print $NF}' >> "$TOUCHED_FILES_FILE") |
+ tee < "$PATCH_OUTPUT_FILE" >(grep "patching file" \ |
+ | awk '{print $NF}' >> "$TOUCHED_FILES_FILE") |
rm "$PATCH_OUTPUT_FILE" |
} |