1 files changed, 0 insertions, 12 deletions
diff --git a/tests/mlkem768_decap_tests.sh b/tests/mlkem768_decap_tests.sh
deleted file mode 100755
index af11da3..0000000
--- a/tests/mlkem768_decap_tests.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-set -e
-TEST=./mlkem768_decap_tests
-if [ -e ./mlkem768_decap_tests.exe ]; then
-        TEST=./mlkem768_decap_tests.exe
-fi
-if [ -z $srcdir ]; then
-        srcdir=.
-fi
-$TEST $srcdir/mlkem768_decap_tests.txt

diff --git a/tests/mlkem768_decap_tests.sh b/tests/mlkem768_decap_tests.sh deleted file mode 100755 index af11da3..0000000 --- a/tests/mlkem768_decap_tests.sh +++ /dev/null
@@ -1,12 +0,0 @@
1	#!/bin/sh
2	set -e
3	TEST=./mlkem768_decap_tests
4	if [ -e ./mlkem768_decap_tests.exe ]; then
5	TEST=./mlkem768_decap_tests.exe
6	fi
7
8	if [ -z $srcdir ]; then
9	srcdir=.
10	fi
11
12	$TEST $srcdir/mlkem768_decap_tests.txt