|
|
1d975dd8bf
|
local_run: fixed bash opt bug.
|
2020-07-06 15:15:35 +08:00 |
|
|
|
cd12ebf9e9
|
run scripts: added option to avoid loading bitstream
|
2020-07-06 11:06:18 +08:00 |
|
|
|
a56abe8830
|
run: exit with error on unrecognized argument
|
2020-07-04 17:54:03 +08:00 |
|
|
|
aff7c3a40b
|
add local run script
|
2020-06-05 11:46:11 +08:00 |
|
