X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Frules;h=2578e3efd7431b369f61db2709cd1c71af122e89;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=601b933c415e300629ed21708f05a12ee3300f74;hpb=f189b1b19ea3f2f7ada9812a097d204c6a7b6dbd;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index 601b933c4..2578e3efd 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -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