1 files changed, 3 insertions, 0 deletions
diff --git a/abe.sh b/abe.sh
index 918dc731..4471ea00 100755
--- a/abe.sh
+++ b/abe.sh
@@ -807,6 +807,9 @@ while test $# -gt 0; do
 		egrep "_revision|_version" $2 > /tmp/rev$$.txt
 		source /tmp/rev$$.txt
 		rm  /tmp/rev$$.txt
+	    else
+		error "Manifest file '$2' not found"
+		build_failure
 	    fi
 	    shift
 	    echo $gcc_version