diff options
Diffstat (limited to 'debian/patches/mk-sort-headers-before-wildcard-inclusion.patch')
| -rw-r--r-- | debian/patches/mk-sort-headers-before-wildcard-inclusion.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/mk-sort-headers-before-wildcard-inclusion.patch b/debian/patches/mk-sort-headers-before-wildcard-inclusion.patch index de6624de..c412ce69 100644 --- a/debian/patches/mk-sort-headers-before-wildcard-inclusion.patch +++ b/debian/patches/mk-sort-headers-before-wildcard-inclusion.patch @@ -3,7 +3,7 @@ Description: mk: sort headers before wildcard inclusion In order to achieve fully reproducible builds, always use the same inclusion order for headers in the Makefiles. -Origin: http://dpdk.org/dev/patchwork/patch/25677/ +Origin: http://dpdk.org/dev/patchwork/patch/25863/ Forwarded: yes Author: Luca Boccassi <luca.boccassi@gmail.com> Last-Update: 2017-06-24 |