]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/debian/rules
debian release 0.3.99-1
[helm.git] / helm / DEVEL / lablgtkmathview / debian / rules
index 601b933c415e300629ed21708f05a12ee3300f74..2578e3efd7431b369f61db2709cd1c71af122e89 100755 (executable)
@@ -24,7 +24,7 @@ build-stamp:
 
        # Add here commands to compile the package.
        $(MAKE)
-       -test -x /usr/bin/ocamlopt && $(MAKE) opt
+       if [ -x /usr/bin/ocamlopt ]; then $(MAKE) opt; else true; fi
 
        touch build-stamp