Merge pull request #8516 from jefferyto/python-config
authorRosen Penev <rosenp@gmail.com>
Thu, 4 Apr 2019 07:18:24 +0000 (00:18 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Apr 2019 07:18:24 +0000 (00:18 -0700)
commit5be14931bddb1bbc0a13864ab98c683ba8ccf621
treef5df48ddf8ab83af5f40adbaba50eaf3c2a1d66c
parent5c539c7950d3fba449e03b9d2e3fcee8873acb0d
parent8de8ff4f25e2660b8fe2f76ed4f00d550bc45ff2
Merge pull request #8516 from jefferyto/python-config

python,python3: Include python-config for target Python in InstallDev