diff options
| -rwxr-xr-x | scripts/diffconfig.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/diffconfig.sh b/scripts/diffconfig.sh index 1f5258559c..e1d605d6e5 100755 --- a/scripts/diffconfig.sh +++ b/scripts/diffconfig.sh @@ -1,7 +1,7 @@ #!/bin/sh grep \^CONFIG_TARGET_ .config | head -n3 > tmp/.diffconfig.head ./scripts/config/conf -D tmp/.diffconfig.head -w tmp/.diffconfig.stage1 Config.in >/dev/null -./scripts/kconfig.pl '>' tmp/.diffconfig.stage1 .config >> tmp/.diffconfig.head +./scripts/kconfig.pl '>+' tmp/.diffconfig.stage1 .config >> tmp/.diffconfig.head ./scripts/config/conf -D tmp/.diffconfig.head -w tmp/.diffconfig.stage2 Config.in >/dev/null ./scripts/kconfig.pl '>' tmp/.diffconfig.stage2 .config >> tmp/.diffconfig.head cat tmp/.diffconfig.head |