diff options
| author | Mathias Kresin <dev@kresin.me> | 2019-01-05 20:51:00 +0100 |
|---|---|---|
| committer | Mathias Kresin <dev@kresin.me> | 2019-01-15 19:11:53 +0100 |
| commit | ad8c2d6099a7da5192ee6e2c52a8303642271877 (patch) | |
| tree | 29b3bc72d1e7448bc41636af088419eda1055339 /tools/zip/patches/010-remove-build-date.patch | |
| parent | 4029788ff36a05a8731183269b675624269da84e (diff) | |
| download | upstream-ad8c2d6099a7da5192ee6e2c52a8303642271877.tar.gz upstream-ad8c2d6099a7da5192ee6e2c52a8303642271877.tar.bz2 upstream-ad8c2d6099a7da5192ee6e2c52a8303642271877.zip | |
tools: add zip utility
One image requires a zip compressed image, so add the zip util found in
the packages feed, and extend it with some useful debian patches.
Signed-off-by: Mathias Kresin <dev@kresin.me>
Diffstat (limited to 'tools/zip/patches/010-remove-build-date.patch')
| -rw-r--r-- | tools/zip/patches/010-remove-build-date.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/zip/patches/010-remove-build-date.patch b/tools/zip/patches/010-remove-build-date.patch new file mode 100644 index 0000000000..5fc385228a --- /dev/null +++ b/tools/zip/patches/010-remove-build-date.patch @@ -0,0 +1,15 @@ +From: Santiago Vila <sanvila@debian.org> +Subject: Remove (optional) build date to make the build reproducible +Bug-Debian: http://bugs.debian.org/779042 + +--- a/unix/unix.c ++++ b/unix/unix.c +@@ -1020,7 +1020,7 @@ void version_local() + + + /* Define the compile date string */ +-#ifdef __DATE__ ++#if 0 + # define COMPILE_DATE " on " __DATE__ + #else + # define COMPILE_DATE "" |