From: Miodrag Milanović <mmicko@gmail.com>
Date: Sat, 19 Oct 2019 06:58:02 +0000 (+0200)
Subject: Merge pull request #1457 from xobs/python-binary-name
X-Git-Tag: working-ls180~984
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f2aa2d1bb470235689959748aa2d4f82a1c0d0b5;p=yosys.git

Merge pull request #1457 from xobs/python-binary-name

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

f2aa2d1bb470235689959748aa2d4f82a1c0d0b5