diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-10-25 07:46:07 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-10-25 08:31:31 +0200 |
commit | 22bbefed33c57d5ddbd40992f2ad01e393a0f267 (patch) | |
tree | deda9bd17a883675ca7977783470c86a2ca09ac2 /bin | |
parent | 33dd955c08486e92a4f8156840b397104a7a76dd (diff) | |
download | ptxdist-22bbefed33c57d5ddbd40992f2ad01e393a0f267.tar.gz ptxdist-22bbefed33c57d5ddbd40992f2ad01e393a0f267.tar.xz |
ptxdist: _check_config_platform: configfile_version should be local
It's not needed outside of the function and may not be set. Make it local
to avoid unexpected effects in the future.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/ptxdist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 09fbd3bef..2e0b8b9dd 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -291,6 +291,7 @@ _check_config_ptx() { # check the platformconfig file # _check_config_platform() { + local configfile_version # # don't check platform if e.g. toolchain defines 'PTXCONF_NO_PLATFORM' # |