Merge pull request #11970 from jefferyto/python-target-build-tools
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 27 Apr 2020 08:14:11 +0000 (11:14 +0300)
committerGitHub <noreply@github.com>
Mon, 27 Apr 2020 08:14:11 +0000 (11:14 +0300)
commit1f8c2af5daaa672bbf9b7cf2b56f16017809ad21
treef2c83378c52e1368b58fdf0861fa786f2464f596
parent3c9dbc1429532d9d370d0b976ac812845b43a897
parent9f81ab895eca0709d1a7b4804b36a5cd00b4f368
Merge pull request #11970 from jefferyto/python-target-build-tools

python3: Fix host build tool names recorded in target files