diff options
| author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2015-03-13 06:21:42 (GMT) |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2015-03-24 15:48:44 (GMT) |
| commit | bc8f8f5fc47cd02c2c5f3580dac2fe6695af1edd (patch) | |
| tree | 4359f8f347e82f170a1bc7331e3bf40f0b0505c1 | |
| parent | 3a975b8cfcbe026b535f83bde9a3c009bae214f9 (diff) | |
| download | linux-bc8f8f5fc47cd02c2c5f3580dac2fe6695af1edd.tar.xz | |
merge_config.sh: rename MAKE to RUNMAKE
The variable "MAKE" is used to store the command name that has
invoked the Makefile. (Actually, it is already set to "make"
if you run this script from a Makefile.)
In this script, however, it is used to determine if Make should be
run or not. It is not what we usually expect.
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Reviewed-by: Josh Triplett <josh@joshtriplett.org>
Reviewed-by: Darren Hart <dvhart@linux.intel.com>
Signed-off-by: Michal Marek <mmarek@suse.cz>
| -rwxr-xr-x | scripts/kconfig/merge_config.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/kconfig/merge_config.sh b/scripts/kconfig/merge_config.sh index 56584b1..ec8e203 100755 --- a/scripts/kconfig/merge_config.sh +++ b/scripts/kconfig/merge_config.sh @@ -35,7 +35,7 @@ usage() { echo " -O dir to put generated output files" } -MAKE=true +RUNMAKE=true ALLTARGET=alldefconfig WARNREDUN=false OUTPUT=. @@ -48,7 +48,7 @@ while true; do continue ;; "-m") - MAKE=false + RUNMAKE=false shift continue ;; @@ -119,7 +119,7 @@ for MERGE_FILE in $MERGE_LIST ; do cat $MERGE_FILE >> $TMP_FILE done -if [ "$MAKE" = "false" ]; then +if [ "$RUNMAKE" = "false" ]; then cp $TMP_FILE $OUTPUT/.config echo "#" echo "# merged configuration written to $OUTPUT/.config (needs make)" |