Merge pull request #592 from antmicro/fix-symbiflow-makefile
authorenjoy-digital <florent@enjoy-digital.fr>
Wed, 15 Jul 2020 10:08:21 +0000 (12:08 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Jul 2020 10:08:21 +0000 (12:08 +0200)
symbiflow: changed toolchain command names in Makefile


Trivial merge