diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/reproducible | 13 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/reproducible b/debian/patches/reproducible new file mode 100644 index 0000000..846292c --- /dev/null +++ b/debian/patches/reproducible @@ -0,0 +1,13 @@ +Index: postfix/makedefs +=================================================================== +--- postfix.orig/makedefs ++++ postfix/makedefs +@@ -215,7 +215,7 @@ echo "#--------------------------------- + echo "# Start of summary of user-configurable 'make makefiles' options." + echo "# CCARGS=$CCARGS" + echo "# AUXLIBS=$AUXLIBS" +-env | grep '^AUXLIBS_' | sed 's/^/# /' ++env | grep '^AUXLIBS_' | sed 's/^/# /' | sort + echo "# shared=$shared" + echo "# dynamicmaps=$dynamicmaps" + echo "# pie=$pie" diff --git a/debian/patches/series b/debian/patches/series index 3f7eee0..bbe3d62 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -12,3 +12,4 @@ debian-man-name.diff 71_debianize_collate.pl.diff Disable-LD_LIBRARY_PATH-check.patch +reproducible |