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
+}
================================================================
_______________________________________________
pld-cvs-commit mailing list
pld-cvs-commit@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
