Merge tag 'gitgui-0.18.0' of git://repo.or.cz/git-gui
[gitweb.git] / compat / vcbuild / scripts / lib.pl
index 68f66446ea5232f3180d8ce74ccb7eae5f3bc93f..d8054e469fe81cff7ac18c436c57e253ec1112ec 100644 (file)
@@ -23,4 +23,4 @@
 }
 unshift(@args, "lib.exe");
 # printf("**** @args\n");
-exit system(@args);
+exit (system(@args) != 0);