diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-21 17:40:49 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-21 17:40:49 +0200 |
| commit | c2df5b9175fb11e054ffb8426287b82f2bb2582b (patch) | |
| tree | e843707cb876111feef82f2bb92884d3f700058e | |
| parent | ad146c25823505e8f9b3cb2b67ba00821a755375 (diff) | |
Cosmetic changes to FSM tests
| -rwxr-xr-x | tests/fsm/run-test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fsm/run-test.sh b/tests/fsm/run-test.sh index 3d0ff757..57c2a5b1 100755 --- a/tests/fsm/run-test.sh +++ b/tests/fsm/run-test.sh @@ -13,6 +13,7 @@ python generate.py { all_targets="all_targets:" echo "all: all_targets" + echo " @echo" for i in $( ls temp/*.ys | sed 's,[^0-9],,g; s,^0*\(.\),\1,g;' ); do idx=$( printf "%05d" $i ) echo "temp/uut_${idx}.log: temp/uut_${idx}.ys temp/uut_${idx}.v" @@ -27,6 +28,5 @@ python generate.py echo "running tests.." ${MAKE:-make} -f temp/makefile -echo exit 0 |