diff options
author | Stephane Glondu <steph@glondu.net> | 2014-07-27 10:37:59 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2014-07-27 15:23:48 +0200 |
commit | b9fae9be4d5dc1f78de28d062d4052727dc1e3c3 (patch) | |
tree | ec51755de45337cefed3538dcf9f3361ca9485a6 /debian/rules | |
parent | ecb5c295deafda3d71424bf41b62eaa534758644 (diff) |
Bump debhelper compat level to 9
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index d700960d..6343da50 100755 --- a/debian/rules +++ b/debian/rules @@ -36,13 +36,13 @@ export OCAMLINIT_SED += \ -e 's%@CoqABI@%$(COQ_ABI)%' %: - +dh --with ocaml $@ + +dh $@ --with ocaml # There is already a file named "build" in upstream sources, so the # above rule is never called. We make it explicitly a phony rule here. .PHONY: build build: - +dh --with ocaml $@ + +dh $@ --with ocaml .PHONY: override_dh_auto_configure override_dh_auto_configure: |