diff options
author | Luigi Scarso <luigi.scarso@gmail.com> | 2019-07-08 06:07:11 +0000 |
---|---|---|
committer | Luigi Scarso <luigi.scarso@gmail.com> | 2019-07-08 06:07:11 +0000 |
commit | f93b62903a20648ab4328443b88495da81f70909 (patch) | |
tree | 6a870996cc04dca9a1ae3dbbc334b4c2a1385711 /Build/source/libs/zziplib | |
parent | 54d39e16610eee4dde770b0a6b569203c79abde8 (diff) |
sync with luatex rev.7174: luatex and luahbtex and jit variants
git-svn-id: svn://tug.org/texlive/trunk@51577 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/zziplib')
-rw-r--r-- | Build/source/libs/zziplib/TLpatches/patch-01-header | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Build/source/libs/zziplib/TLpatches/patch-01-header b/Build/source/libs/zziplib/TLpatches/patch-01-header new file mode 100644 index 00000000000..3364f16f99a --- /dev/null +++ b/Build/source/libs/zziplib/TLpatches/patch-01-header @@ -0,0 +1,11 @@ +diff -ur lib.h.orig lib.h +--- lib.h.orig 2018-06-26 21:16:01.758253475 +0200 ++++ lib.h 2018-06-26 21:16:15.786252900 +0200 +@@ -16,6 +16,7 @@ + #include <zzip/zzip.h> + #include <zzip/plugin.h> + #include <zzip/stdint.h> ++#include <zzip/zzip32.h> + + #ifdef __cplusplus + extern "C" { |