| Index: tools/common-includes.sh
|
| ===================================================================
|
| --- tools/common-includes.sh (revision 11348)
|
| +++ tools/common-includes.sh (working copy)
|
| @@ -184,7 +184,8 @@
|
| 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"
|
| }
|
|
|
|
|