[m-dev.] diff: even more changes for .nocopyright

[Tyson Dowd]

Hi,

Another improvement.

===================================================================


Estimated hours taken: 0.5

CVSROOT/check.pl:
	Even more changes to get .nocopyright working.
	This time we use RCS to checkout (on stdout) the .nocopyright
	file in the repository, if we cannot find it locally.
	With client/server CVS you only find local copies of the files
	you are actually checking in, so you have to look to the
	repository.

	We use RCS because we want to avoid CVS directory locks (this
	script runs while we are checking in).


Index: check.pl
===================================================================
RCS file: /home/mercury1/repository/CVSROOT/check.pl,v
retrieving revision 1.14
diff -u -r1.14 check.pl
--- check.pl	2000/08/17 03:44:10	1.14
+++ check.pl	2000/08/17 04:06:48
@@ -153,6 +153,14 @@
 					return 0;
 				}
 			}
+		} elsif (open NOCOPYRIGHT, 
+				"co -q -p $directory/.nocopyright |") {
+			while (<NOCOPYRIGHT>) {
+				if ($_ =~ /^$file/) {
+					print "no copyright check required for `$file' (from `$directory')\n";
+					return 0;
+				}
+			}
 		}
 		# print "checking copyright for `$file' (from `$directory')\n";
 		return 1;


-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------