Merge pull request #55 from YosysHQ/q3k/fix-bash
authorClifford Wolf <clifford@clifford.at>
Thu, 1 Aug 2019 11:02:01 +0000 (13:02 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Aug 2019 11:02:01 +0000 (13:02 +0200)
sby_core: fix hardcoded /bin/bash path


Trivial merge