- up to 4.9.210

[packages/kernel.git] / kernel-config.awk

diff --git a/kernel-config.awk b/kernel-config.awk
index 62d68c3afe394ce694ae71d8fca75de02ed7f22b..9ac5a946b00117568d519758f1526ee61f09f207 100644 (file)
--- a/kernel-config.awk
+++ b/kernel-config.awk
@@ -48,14 +48,14 @@ BEGIN {
                print "arch= must be specified" > "/dev/stderr"
                exit 1
        }
-       if ( ! basearch )
-               basearch = arch
-
-       targetLevel[ "all" ] = 1
-       targetLevel[ basearch ] = 2
-       targetLevel[ arch ] = 3
+       split( arch, Archs )
+       for (i = 1; i in Archs; i++) {
+               targetLevel[ Archs[ i ] ] = i
+       }
 
        shouldDie = 0
+
+       lastFile = ""
 }
 
 function dieLater( code ) {
@@ -63,6 +63,15 @@ function dieLater( code ) {
                shouldDie = code
 }
 
+{
+       f = FILENAME
+       sub( /^.*\//, "", f ) # strip path
+       if ( f != lastFile ) {
+               print "\n# file: " f
+               lastFile = f
+       }
+}
+
 # convert special case:
 # # CONFIG_SOMETHING it not set
 # to: