[m-rev.] trivial diff: fix CVSROOT/check.pl bug

[Simon Taylor]

Estimated hours taken: 0.1

CVSROOT/check.pl:
	Fix bug in handling of system() return code.

Index: check.pl
===================================================================
RCS file: /home/mercury1/repository/CVSROOT/check.pl,v
retrieving revision 1.18
diff -u -u -r1.18 check.pl
--- check.pl	21 Nov 2002 06:48:02 -0000	1.18
+++ check.pl	2 Jan 2003 06:51:41 -0000
@@ -155,7 +155,7 @@
 		system("diff", "-u", $arg, $tmp);
 		if ( query_user("Accept the version with the updated copyright message?", 1) )
 		{
-			system("mv", $tmp, $arg) or die "`mv $tmp $arg' failed: $!";
+			system("mv", $tmp, $arg) == 0 or die "`mv $tmp $arg' failed: $!";
 		}
 	}
 
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------