diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 0000000..87da342 --- /dev/null +++ b/debian/rules @@ -0,0 +1,13 @@ +#!/usr/bin/make -f + +%: + dh $@ + + +override_dh_auto_configure: + dh_auto_configure -- \ + -DINSTALL_EXECUTABLE_ONLY=ON + +override_dh_auto_test: + + |
