diff options
| author | Masahiro Yamada <[email protected]> | 2015-03-13 15:21:42 +0900 |
|---|---|---|
| committer | Michal Marek <[email protected]> | 2015-03-24 16:48:44 +0100 |
| commit | bc8f8f5fc47cd02c2c5f3580dac2fe6695af1edd (patch) | |
| tree | 4359f8f347e82f170a1bc7331e3bf40f0b0505c1 /scripts/gdb/linux/utils.py | |
| parent | 3a975b8cfcbe026b535f83bde9a3c009bae214f9 (diff) | |
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 <[email protected]>
Reviewed-by: Josh Triplett <[email protected]>
Reviewed-by: Darren Hart <[email protected]>
Signed-off-by: Michal Marek <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions