Merge pull request #1150 from YosysHQ/eddie/script_from_wire
authorEddie Hung <eddie@fpgeh.com>
Tue, 2 Jul 2019 17:20:42 +0000 (10:20 -0700)
committerGitHub <noreply@github.com>
Tue, 2 Jul 2019 17:20:42 +0000 (10:20 -0700)
Add "script -select [selection]" to allow commands to be taken from wires


Trivial merge