diff --git a/mach/install b/mach/install index ed04d7a0..8d87ed14 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