diff options
| author | Tim Schumacher <timschumi@gmx.de> | 2022-09-16 23:57:41 +0200 |
|---|---|---|
| committer | Ali Mohammad Pur <Ali.mpfard@gmail.com> | 2022-09-18 13:00:46 +0430 |
| commit | 453323f3c19b91bebc4b64b9aee5bbaff992fbf5 (patch) | |
| tree | eded05a05ee210f0c2aa41d91332a4ad6f2dbafa | |
| parent | 72c059535e99a716137da705c2797a180f761960 (diff) | |
| download | serenity-453323f3c19b91bebc4b64b9aee5bbaff992fbf5.zip | |
Ports: Force full-length file indices when formatting patches
This keeps file index lengths from being dependent on internals of the
repository.
| -rwxr-xr-x | Ports/.port_include.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 8f49e7e8dd..0dc51db52b 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -826,7 +826,7 @@ do_dev() { if [ "$first_hash" != "$current_hash" ]; then >&2 echo "Note: Regenerating patches as there are some commits in the port repo (started at $first_hash, now is $current_hash)" rm -fr "${PORT_META_DIR}"/patches/*.patch - git -C "$git_repo" format-patch --no-numbered --zero-commit --no-signature "$first_hash" -o "$(realpath "${PORT_META_DIR}/patches")" + git -C "$git_repo" format-patch --no-numbered --zero-commit --no-signature --full-index "$first_hash" -o "$(realpath "${PORT_META_DIR}/patches")" do_generate_patch_readme fi } |