diff options
-rwxr-xr-x | make_results.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_results.sh b/make_results.sh index 5b74471..66694c0 100755 --- a/make_results.sh +++ b/make_results.sh @@ -1,7 +1,7 @@ #!/bin/bash for KIND in 4 8 16; do - for IMPL in naiv bett dot mat bett2; do + for IMPL in naiv bett dot mat bett2 block; do ./build/mull $KIND $IMPL > res/${IMPL}_$KIND done done |