diff options
Diffstat (limited to 'process_configs.sh')
-rwxr-xr-x | process_configs.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/process_configs.sh b/process_configs.sh index 1709e6dc3..8c997a5fa 100755 --- a/process_configs.sh +++ b/process_configs.sh @@ -145,9 +145,9 @@ parsenewconfigs() BEGIN { inpatch=0; outfile="none"; symbol="none"; } - /^CONFIG_.*:$/ { - split($0, a, ":"); - symbol=a[1]; + /^Symbol: .*$/ { + split($0, a, " "); + symbol="CONFIG_"a[2]; outfile=BASE "/fake_"symbol } /-----/ { |