diff options
| -rwxr-xr-x | tests/mlkem_tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/mlkem_tests.sh b/tests/mlkem_tests.sh index aaad199..2a9856e 100755 --- a/tests/mlkem_tests.sh +++ b/tests/mlkem_tests.sh | |||
| @@ -4,6 +4,8 @@ set -e | |||
| 4 | TEST=./mlkem_tests | 4 | TEST=./mlkem_tests |
| 5 | if [ -e ./mlkem_tests.exe ]; then | 5 | if [ -e ./mlkem_tests.exe ]; then |
| 6 | TEST=./mlkem_tests.exe | 6 | TEST=./mlkem_tests.exe |
| 7 | elif [ -e ./mlkem_tests.js ]; then | ||
| 8 | TEST="node ./mlkem_tests.js" | ||
| 7 | fi | 9 | fi |
| 8 | 10 | ||
| 9 | if [ -z $srcdir ]; then | 11 | if [ -z $srcdir ]; then |
