SOURCES: kernel-track-config-change.awk (NEW) - script which checks whether...

[sparky]

Author: sparky                       Date: Sun Sep 28 11:53:32 2008 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- script which checks whether make oldconfig has changed any value

---- Files affected:
SOURCES:
   kernel-track-config-change.awk (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/kernel-track-config-change.awk
diff -u /dev/null SOURCES/kernel-track-config-change.awk:1.1
--- /dev/null	Sun Sep 28 13:53:33 2008
+++ SOURCES/kernel-track-config-change.awk	Sun Sep 28 13:53:27 2008
@@ -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
+}
================================================================