X-Git-Url: http://git.pld-linux.org/?a=blobdiff_plain;f=kernel-config.awk;h=9ac5a946b00117568d519758f1526ee61f09f207;hb=cd112dcb21ac909d508789e56cef128186814125;hp=02fa83be1560f3c3ffa7eef4072fa65e510353d0;hpb=2b721208f8e85a367d1708349a69c85600e15197;p=packages%2Fkernel.git diff --git a/kernel-config.awk b/kernel-config.awk index 02fa83be..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: @@ -100,6 +109,7 @@ function dieLater( code ) { sub( "^" option, "", line ) sub( /^[ \t]*/, "", line ) + delete archs if ( line ~ /"/ ) { # there can be white spaces i = 0