chiark / gitweb /
README: Further miscellaneous fixes and clarifications
[subdirmk.git] / 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");
 }