diff options
Diffstat (limited to 'recompress.sh')
-rwxr-xr-x | recompress.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/recompress.sh b/recompress.sh index 0f14a8c83..156b871b8 100755 --- a/recompress.sh +++ b/recompress.sh @@ -756,9 +756,11 @@ gzip ./source/l/clucene/clucene.pkgconfig.diff gzip ./source/l/libxml2/libxml2.python3-unicode-errors.patch gzip ./source/l/libxml2/libxml2.do-not-check-crc.diff gzip ./source/l/mpfr/patches/patch03 +gzip ./source/l/mpfr/patches/patch08 gzip ./source/l/mpfr/patches/patch07 gzip ./source/l/mpfr/patches/patch05 gzip ./source/l/mpfr/patches/patch04 +gzip ./source/l/mpfr/patches/patch09 gzip ./source/l/mpfr/patches/patch06 gzip ./source/l/mpfr/patches/patch01 gzip ./source/l/mpfr/patches/patch02 |