diff options
author | Vagrant Cascadian <vagrant@reproducible-builds.org> | 2022-09-21 23:11:54 +0000 |
---|---|---|
committer | Vagrant Cascadian <vagrant@debian.org> | 2022-09-21 16:45:58 -0700 |
commit | 0ca55f181110b05cc046dc207a04fbe384f44be1 (patch) | |
tree | 4deed38bb61f22ae0252eb985a3ef3c3948dbcc0 | |
parent | 9fa297fa115a002f100d4d978de6dcbd288688d8 (diff) |
debian/rules: Remove example autogenerated Makefiles which contain
build paths. (Closes: #975025)
-rwxr-xr-x | debian/rules | 7 |
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))) |