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 |