| 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"
|
| }
|
|
|