- need civim

Changed files:
    ci -> 1.5

diff --git a/ci b/ci
index d17a0aa55a4a5d09495c79bffbda0bde640c56da..cbcc798358fe7a82151a0e0f2a302b1d9ede80ed 100644 (file)
--- a/ci
+++ b/ci
@@ -11,6 +11,11 @@ if [ $# -ne 1 -o ! -d "$SPECFILE" -o ! -f "$SPEC" ]; then
        exit 1
 fi
 
+if [ ! -x "$PWD/civim" ]; then
+       echo "civim missing"
+       exit 1
+fi
+
 diffcol()
 {
        # vim like diff colourization