Fix from HEAD.

diff --git a/util/mkdef.pl b/util/mkdef.pl
index 9918c3d549c46b9f17c5088f0d863f818e3de6ec..831291e2873d4d7a34a3a75021346e5d3aa53642 100755 (executable)
--- a/util/mkdef.pl
+++ b/util/mkdef.pl
@@ -1011,7 +1011,7 @@ sub is_valid
 {
        my ($keywords_txt,$platforms) = @_;
        my (@keywords) = split /,/,$keywords_txt;
-       my ($falsesum, $truesum) = (0, !grep(/^[^!]/,@keywords));
+       my ($falsesum, $truesum) = (0, 1);
 
        # Param: one keyword
        sub recognise
@@ -1079,7 +1079,7 @@ sub is_valid
                if ($k =~ /^!(.*)$/) {
                        $falsesum += &recognise($1,$platforms);
                } else {
-                       $truesum += &recognise($k,$platforms);
+                       $truesum *= &recognise($k,$platforms);
                }
        }
        print STDERR "DEBUG: [",$#keywords,",",$#keywords < 0,"] is_valid($keywords_txt) => (\!$falsesum) && $truesum = ",(!$falsesum) && $truesum,"\n" if $debug;