projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9661966) | patch
build.plat: allow selecting a specific UNIX shell interpreter.
authorwhitequark <cz@m-labs.hk>
Sun, 4 Aug 2019 13:18:29 +0000 (13:18 +0000)
committerwhitequark <cz@m-labs.hk>
Sun, 4 Aug 2019 13:20:54 +0000 (13:20 +0000)
commit95893a7ae13695c310b8c7df23149ccaa89fe5a1
treec3177bb0b74f50ce7b74dc7898b694aa98a6455ctree
parent9661966f5f913e9d14174999b0756e299b15c955commit | diff
build.plat: allow selecting a specific UNIX shell interpreter.

Mostly because vendor tools have bashisms.
nmigen/build/plat.py diff | blob | history