diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 16:41:56 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:43:06 -0500 |
| commit | 37d81d90383efeff21d6e3ad97fd1c9c40906d78 (patch) | |
| tree | 845ff30995b114df616ff9616aad47d363d3e3c9 | |
| parent | 6ba2fca45bb6d5222e6e219681bb173f688d9ab8 (diff) | |
Fake a Makefile.config so initial ‘make clean’ works
The Makefile requires a Makefile.config to run anything, so create an
empty Makefile.config before starting to run make commands.
| -rwxr-xr-x | debian/rules | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 151b7e9..15d9ca3 100755 --- a/debian/rules +++ b/debian/rules @@ -7,6 +7,11 @@ export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed %: dh $@ --parallel +.PHONY: override_dh_auto_clean +override_dh_auto_clean: + touch Makefile.config + dh_auto_clean + .PHONY: override_dh_builddeb override_dh_builddeb: dh_builddeb -- -Zxz -z9 |