diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index eedb9d1..3453dd0 100755 --- a/debian/rules +++ b/debian/rules @@ -7,6 +7,10 @@ override_dh_auto_install: make -j1 install-bocaapache DESTDIR=debian/boca-web mkdir -p debian/boca-autojudge make -j1 install-bocaautojudge DESTDIR=debian/boca-autojudge + mkdir -p debian/boca-db + make -j1 install-bocadb DESTDIR=debian/boca-db + mkdir -p debian/boca-common + make -j1 install-bocacommon DESTDIR=debian/boca-common %: dh $@ |