]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commitdiff
rename compiler to acc-trusted
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:57:21 +0000 (11:57 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:57:21 +0000 (11:57 +0200)
debian/rules

index 63a06ed3a4116bd2998e924c17d5731b33c17072..ed15de990fb62b98c943da3c08c95b6f04b45655 100755 (executable)
@@ -8,7 +8,7 @@ override_dh_auto_build:
        
 override_dh_auto_install:
        mkdir -p debian/tmp/usr/bin
-       cp acc debian/tmp/usr/bin/
+       cp acc debian/tmp/usr/bin/acc-trusted
 
 override_dh_auto_clean:
        find . -name '*.cmo' -exec rm {} \;