]> granicus.if.org Git - docbook-dsssl/commitdiff
if the xslt process dies, this script should exit with a non-zero status
authorAdam Di Carlo <adicarlo@users.sourceforge.net>
Mon, 13 Jan 2003 06:23:15 +0000 (06:23 +0000)
committerAdam Di Carlo <adicarlo@users.sourceforge.net>
Mon, 13 Jan 2003 06:23:15 +0000 (06:23 +0000)
cvstools/xslt

index e64aee0b18e05b6c049cf4db916aaf2d1f718578..dc1e71fab0fdc978a38e56c779565abebf1af627 100755 (executable)
@@ -129,7 +129,13 @@ my $startTime = time();
 if (! $quiet) {
     print "$cmd\n";
 }
-system($cmd);
+my $retVal = system($cmd);
 my $endTime = time();
 
 print "Time: ", $endTime - $startTime, "s\n" if $time;
+
+if ($retVal) {
+    exit $retVal / 256;
+} else {
+    exit 0;
+}