diff options
author | Mike Gerwitz <mtg@gnu.org> | 2019-10-28 00:03:05 -0400 |
---|---|---|
committer | Mike Gerwitz <mtg@gnu.org> | 2019-10-28 00:03:05 -0400 |
commit | 7b4df2d942365adcfe332f4f0ff4f9a3b49e36f1 (patch) | |
tree | ac4bc48c7ebb821f1504bce1e56e647e950c5e88 | |
parent | 395cc0798600cde44a30abaa3f5d08ce8b68f782 (diff) |
makeicecat: Apply data/patches/*.patch
* data/patches/.gitkeep: New file.
* makeicecat: Apply patches from data/patches. Take care not to fail
when no patches exist.
-rw-r--r-- | data/patches/.gitkeep | 0 | ||||
-rw-r--r-- | makeicecat | 10 |
2 files changed, 6 insertions, 4 deletions
diff --git a/data/patches/.gitkeep b/data/patches/.gitkeep new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/data/patches/.gitkeep @@ -80,10 +80,12 @@ mv compare-locales $SOURCEDIR/l10n cd $SOURCEDIR -#for patch in $DATA/patches/*; do -# echo Patching with file: $patch -# patch -p1 < $patch -#done +shopt -s nullglob +for patch in $DATA/patches/*.patch; do + echo Patching with file: $patch + patch -p1 --force --no-backup-if-mismatch --input $patch +done +shopt -u nullglob cp $DATA/Changelog.IceCat $DATA/README.IceCat . |