Index: tools/common-includes.sh |
diff --git a/tools/common-includes.sh b/tools/common-includes.sh |
index d14c44b7ca736883ac61d166230125eec5fe6700..8f0e78b60180bcbf5a678870113b0e43b7faa3a7 100644 |
--- a/tools/common-includes.sh |
+++ b/tools/common-includes.sh |
@@ -176,7 +176,7 @@ the uploaded CL." |
# Takes a file containing the patch to apply as first argument. |
apply_patch() { |
patch -p1 < "$1" > "$PATCH_OUTPUT_FILE" || \ |
- cat "$PATCH_OUTPUT_FILE" && die "Applying the patch failed." |
+ { cat "$PATCH_OUTPUT_FILE" && die "Applying the patch failed."; } |
tee < "$PATCH_OUTPUT_FILE" >(awk '{print $NF}' >> "$TOUCHED_FILES_FILE") |
rm "$PATCH_OUTPUT_FILE" |
} |