diff --git a/mach/install b/mach/install
index ed04d7a0d..8d87ed147 100755
--- a/mach/install
+++ b/mach/install
@@ -17,4 +17,5 @@ then
 	exit 0
 else
 	echo Sorry, can not create "lib/${MACH}/$DEST".
+	exit 1
 fi