diff options
Diffstat (limited to '002-add_stdint.patch')
-rw-r--r-- | 002-add_stdint.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/002-add_stdint.patch b/002-add_stdint.patch new file mode 100644 index 000000000000..fdb2c202e6c1 --- /dev/null +++ b/002-add_stdint.patch @@ -0,0 +1,11 @@ +--- a/fileio/@gifti/private/miniz.c 2021-06-01 19:58:59.000000000 +0200 ++++ b/fileio/@gifti/private/miniz.c 2021-10-15 18:43:05.397466073 +0200 +@@ -177,7 +177,7 @@ + #endif
+
+ #include <stddef.h>
+-
++#include <stdint.h>
+ #if !defined(MINIZ_NO_TIME) && !defined(MINIZ_NO_ARCHIVE_APIS)
+ #include <time.h>
+ #endif
|