projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34a97b2) | patch
build.plat: allow selecting a specific UNIX shell interpreter.
authorwhitequark <whitequark@whitequark.org>
Sun, 4 Aug 2019 13:18:29 +0000 (13:18 +0000)
committerwhitequark <whitequark@whitequark.org>
Sun, 4 Aug 2019 13:20:54 +0000 (13:20 +0000)
commit5eb4e2ee511f87065cfd7a32e74a43fa4ac1dd81
treec3177bb0b74f50ce7b74dc7898b694aa98a6455ctree
parent34a97b27512a208101619b8c6f4434bef97e1808commit | diff
build.plat: allow selecting a specific UNIX shell interpreter.

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