- script which checks whether make oldconfig has changed any value

Changed files:
    kernel-track-config-change.awk -> 1.1

diff --git a/kernel-track-config-change.awk b/kernel-track-config-change.awk
new file mode 100644 (file)
index 0000000..50cde5c
--- /dev/null
+++ b/kernel-track-config-change.awk
@@ -0,0 +1,57 @@
+# $Id$
+
+BEGIN {
+       if ( ! infile ) {
+               print "infile= must be specified" > "/dev/stderr"
+               exit 1
+       }
+
+       while ( getline < infile ) {
+               if ( match( $0, /^# CONFIG_[A-Za-z0-9_]+ is not set$/ ) ) {
+                       optionArray[ $2 ] = "n";
+               } else if ( match( $0, /^CONFIG_[A-Za-z0-9_]+=/ ) ) {
+                       name = value = $1
+
+                       sub( /=.*$/, "", name )
+                       sub( /^[^=]*=/, "", value )
+
+                       optionArray[ name ] = value;
+                       continue
+               }
+       }
+}
+
+
+{
+       name = ""
+}
+
+/^# CONFIG_[A-Za-z0-9_]+ is not set$/ {
+       name = $2
+       value = "n"
+}
+
+/^CONFIG_[A-Za-z0-9_]+=/ {
+       name = value = $1
+
+       sub( /=.*$/, "", name )
+       sub( /^[^=]*=/, "", value )
+}
+
+{
+       if ( ! length( name ) )
+               next;
+
+       orig = optionArray[ name ]
+       if ( ! orig ) {
+               #print "Warning: new option " name " with value " value
+       } else {
+               if ( value != orig ) {
+                       print "ERROR: option " name " redefined from " orig " to " value
+               }
+       }
+}
+
+END {
+       exit 0
+}