chiark
/
gitweb
/
~ian
/
subdirmk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
README: Further miscellaneous fixes and clarifications
[subdirmk.git]
/
generate
diff --git
a/generate
b/generate
index 61bbd507c683adc89d5fe648260737a7c0492e73..bae0995bef30dc90fbd19e7cb511d61a0887b99a 100755
(executable)
--- a/
generate
+++ b/
generate
@@
-198,6
+198,8
@@
sub wrncore ($$) {
sub wrn ($$) {
my ($wk,$m) = @_;
+ our %warn_dedupe;
+ return 0 if $warn_dedupe{$err_file,$.,$wk,$m}++;
wrncore($wk, "${err_file}:$.: $m");
}