summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVagrant Cascadian <vagrant@reproducible-builds.org>2022-09-21 23:11:54 +0000
committerVagrant Cascadian <vagrant@debian.org>2022-09-21 16:45:58 -0700
commit0ca55f181110b05cc046dc207a04fbe384f44be1 (patch)
tree4deed38bb61f22ae0252eb985a3ef3c3948dbcc0
parent9fa297fa115a002f100d4d978de6dcbd288688d8 (diff)
debian/rules: Remove example autogenerated Makefiles which contain
build paths. (Closes: #975025)
-rwxr-xr-xdebian/rules7
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index d0d5597..f6b5446 100755
--- a/debian/rules
+++ b/debian/rules
@@ -91,6 +91,13 @@ ifneq (,$(filter flex-doc, $(shell dh_listpackages)))
debian/flex-doc/usr/share/doc/flex-doc/
endif
+override_dh_installexamples:
+ dh_installexamples
+ # Remove autogenerated Makefiles which contain embedded build
+ # paths in order to ensure reproducible builds.
+ rm -f debian/flex/usr/share/doc/flex/examples/fastwc/Makefile
+ rm -f debian/flex/usr/share/doc/flex/examples/manual/Makefile
+
override_dh_auto_build:
dh_auto_build
ifneq (,$(filter flex-doc, $(shell dh_listpackages)))