aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/mlkem_tests.sh2
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
4TEST=./mlkem_tests 4TEST=./mlkem_tests
5if [ -e ./mlkem_tests.exe ]; then 5if [ -e ./mlkem_tests.exe ]; then
6 TEST=./mlkem_tests.exe 6 TEST=./mlkem_tests.exe
7elif [ -e ./mlkem_tests.js ]; then
8 TEST="node ./mlkem_tests.js"
7fi 9fi
8 10
9if [ -z $srcdir ]; then 11if [ -z $srcdir ]; then