local_run: fixed bash opt bug. #34

Manually merged
pca006132 merged 1 commits from pca006132/artiq-zynq:master into master 2020-07-06 16:25:09 +08:00

1 Commits (master)

Author SHA1 Message Date
pca006132 1d975dd8bf local_run: fixed bash opt bug. 2020-07-06 15:15:35 +08:00