scripts/patch.sh: add --committer-date-is-author-date to git am

This option will make the generated commit IDs deterministic, greatly
reducing the number of repository objects created when calling `make
update` repeatedly.
This commit is contained in:
Matthias Schiffer 2016-02-28 03:30:14 +01:00
parent 00b620ae51
commit ec1c82566a

View File

@ -10,7 +10,7 @@ for module in $GLUON_MODULES; do
git checkout -B patching base
for patch in "$GLUONDIR"/patches/$module/*.patch; do
if ! git -c user.name='Gluon Patch Manager' -c user.email='gluon@void.example.com' am --whitespace=nowarn "$patch"; then
if ! git -c user.name='Gluon Patch Manager' -c user.email='gluon@void.example.com' am --whitespace=nowarn --committer-date-is-author-date "$patch"; then
git am --abort
git checkout patched
git branch -D patching