5 print "infile= must be specified" > "/dev/stderr"
10 while ((rc = getline < infile) > 0) {
12 if ( match($0, /^# CONFIG_[A-Za-z0-9_]+ is not set$/)) {
15 } else if (match($0, /^CONFIG_[A-Za-z0-9_]+=/)) {
19 sub(/^[^=]*=/, "", value)
20 } else if (match($0, /^# file:/)) {
24 optionArray[name] = value
25 optionFile[name] = file
29 printf("Error reading infile='%s'\n", infile) > "/dev/stderr"
41 /^# CONFIG_[A-Za-z0-9_]+ is not set$/ {
46 /^CONFIG_[A-Za-z0-9_]+=/ {
49 sub( /=.*$/, "", name )
50 sub( /^[^=]*=/, "", value )
54 if ( ! length( name ) )
57 orig = optionArray[ name ]
59 #print "Warning: new option " name " with value " value
61 if ( value != orig ) {
62 print "ERROR (" optionFile[ name ] "): " name \
63 " redefined from `" orig "' to `" value "'" > "/dev/stderr"
71 print "There were " foundErrors " errors" > "/dev/stderr"