fix

diff --git a/debian/rules b/debian/rules
index ed15de990fb62b98c943da3c08c95b6f04b45655..de5776c428f2de65af004c9491a45b0e79d41902 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -4,13 +4,14 @@
        dh $@
 
 override_dh_auto_build:
-       ./build
+       $(MAKE) opt
        
 override_dh_auto_install:
        mkdir -p debian/tmp/usr/bin
-       cp acc debian/tmp/usr/bin/acc-trusted
+       cp acc.opt debian/tmp/usr/bin/acc-trusted
 
 override_dh_auto_clean:
+       $(MAKE) clean
        find . -name '*.cmo' -exec rm {} \;
        find . -name '*.cmi' -exec rm {} \;
        find . -name '*.cmx' -exec rm {} \;