allow overlap of minor keywords and commands;
authorwenzelm
Sat, 28 Jun 2008 21:21:21 +0200
changeset 27386 d10ec4969b9f
parent 27385 b16563f2d274
child 27387 6adb9e6a649d
allow overlap of minor keywords and commands;
lib/scripts/keywords.pl
--- a/lib/scripts/keywords.pl	Sat Jun 28 21:21:20 2008 +0200
+++ b/lib/scripts/keywords.pl	Sat Jun 28 21:21:21 2008 +0200
@@ -16,10 +16,14 @@
 
 sub set_keyword {
   my ($name, $kind) = @_;
-  if (defined $keywords{$name} and $keywords{$name} ne $kind) {
-    print STDERR "### Inconsistent declaration of keyword \"${name}\": $keywords{$name} vs ${kind}\n";
+  if (defined $keywords{$name} and $keywords{$name} ne $kind and $keywords{$name} ne "minor") {
+    if ($kind ne "minor") {
+      print STDERR "### Inconsistent declaration of keyword \"${name}\": $keywords{$name} vs ${kind}\n";
+      $keywords{$name} = $kind;
+    }
+  } else {
+    $keywords{$name} = $kind;
   }
-  $keywords{$name} = $kind;
 }
 
 sub collect_keywords {