From 0d48a8f9da55abd1a7025daef1f8e45e8ed6a078 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 4 Apr 2013 12:04:49 +0200 Subject: [PATCH] fix --- debian/rules | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/rules b/debian/rules index ed15de9..de5776c 100755 --- 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 {} \; -- 2.39.2