diff options
author | 2017-06-24 15:13:55 +0100 | |
---|---|---|
committer | 2017-06-29 16:42:42 +0100 | |
commit | 71769a2f309a6a8adcd0fbfe580824febf4e6ae8 (patch) | |
tree | f36b71785adb0eb627d3cf0b0591fe9f28dda822 /debian/patches/series | |
parent | f29803d2d7380d9240738afe69821aa41d7724f7 (diff) |
Add new patches to make build fully reproducible
Change-Id: Ic9012604e9bf5e9da22f9eb7a96b6ecb3bfb2ff1
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index ad293f6e..b9f49f82 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -13,3 +13,7 @@ igb_uio-switch-to-new-irq-function-for-MSI-X.patch mk-use-make-silent-flag-to-print-HTML-doc-version.patch mk-fix-excluding-.doctrees-when-installing-docs.patch mk-sort-list-of-shared-objects-in-linker-script.patch +mk-sort-headers-before-wildcard-inclusion.patch +mk-sort-source-files-before-passing-them-to-the-comp.patch +mk-sort-object-files-when-building-deps-lists.patch +mk-always-rebuild-in-the-same-order.patch |