Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/keywords.pl
changeset 27386 d10ec4969b9f
parent 24912 52bc004950c4
child 29145 b1c6f4563df7 
--- 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 {
isabelle