[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. e3233ddb987f62a0b37b2dd935aa0cda963feffd

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 9b7197f1cbca926a2123109b7d1a6d2ce7e7e4d3
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Tue Jun 3 14:14:33 2008 +0200

    fix bash syntax error

diff --git a/Makefile b/Makefile
index fe2f982..c443b2a 100644
--- a/Makefile
+++ b/Makefile
@@ -73,7 +73,7 @@ install: ceve
 	if [ -f ceve.opt ] ; then \
 	  cp ceve.opt $(BINDIR)/ceve ; \
 	else \
-	  cp ceve $(BINDIR)/ceve ;
+	  cp ceve $(BINDIR)/ceve ; \
 	fi
 
 depend:

-- 
ceve packaging