diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index a5e0d78..6c52a63 100755 --- a/debian/rules +++ b/debian/rules @@ -1,4 +1,10 @@ #! /usr/bin/make -f +override_dh_auto_install: + mkdir -p debian/boca-submission-tools + make -j1 install-submission-tools DESTDIR=debian/boca-submission-tools + mkdir -p debian/boca + make -j1 install DESTDIR=debian/boca + %: dh $@ |