Author | SHA1 Message | Date |
---|---|---|
![]() |
af0cb08a08 Use "set -eu" in shell scripts | 7 years ago |
![]() |
446ca96c79 Make shell scripts POSIX-compatible | 7 years ago |
![]() |
9b7c1c3fc1 fix benchmark | 7 years ago |
![]() |
8b0ba962a1 Benchmark script - as requested by Keradus | 10 years ago |