Merge pull request #1457 from xobs/python-binary-name
authorMiodrag Milanović <mmicko@gmail.com>
Sat, 19 Oct 2019 06:58:02 +0000 (08:58 +0200)
committerGitHub <noreply@github.com>
Sat, 19 Oct 2019 06:58:02 +0000 (08:58 +0200)
commitf2aa2d1bb470235689959748aa2d4f82a1c0d0b5
tree78f82dfdc3c13c9d8809be4081db6d67abc99bb6
parente8ef3fcdfcacbc711a4722deee95f0707634bed0
parent82f60ba938749ab20694f9070f1046e393f16f3c
Merge pull request #1457 from xobs/python-binary-name

Makefile: don't assume python is called `python3`