diff options
author | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2020-03-16 17:13:12 +0100 |
---|---|---|
committer | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2020-03-16 21:48:45 +0100 |
commit | f0b8d8aca8989710c49512ec0457539c8460f43b (patch) | |
tree | 6497baff5b2887a7c0591d3226905348e8471fe9 /mcon/pl | |
parent | 3a771ebdb5e31d41b611d176f65fc1205c391f43 (diff) |
metalint: warn if defining a UU-file already claimed.
Diffstat (limited to 'mcon/pl')
-rw-r--r-- | mcon/pl/lint.pl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/mcon/pl/lint.pl b/mcon/pl/lint.pl index 3f212af..e73f0fd 100644 --- a/mcon/pl/lint.pl +++ b/mcon/pl/lint.pl @@ -640,8 +640,13 @@ sub p_file { next; } delete $lintcreated{$uufile} if !$is_special; # Detect spurious LINT - $filemaster{$uufile} = $unit unless defined $filemaster{$uufile}; - $filecreated{$uufile} = 'a'; # Will be automagically incremented + if (exists $filemaster{$uufile}) { + my $other = $filemaster{$uufile}; + warn "$where: UU file '$uufile' already created by $other.U.\n"; + } else { + $filemaster{$uufile} = $unit; + $filecreated{$uufile} = 'a'; # Will be automagically incremented + } } } |