X-Git-Url: http://git.pld-linux.org/?a=blobdiff_plain;f=kernel-config.awk;h=9ac5a946b00117568d519758f1526ee61f09f207;hb=b526460c9f4953586cea594ef06a1d5cd754a7c5;hp=62d68c3afe394ce694ae71d8fca75de02ed7f22b;hpb=4a0f6b465b1b0912be10f3df6f6854bc0b182e59;p=packages%2Fkernel.git

diff --git a/kernel-config.awk b/kernel-config.awk
index 62d68c3a..9ac5a946 100644
--- 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: