1 files changed, 0 insertions, 15 deletions
diff --git a/bug2102138-test.sh b/bug2102138-test.sh
deleted file mode 100755
index c143c9fd..00000000
--- a/bug2102138-test.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-
-make && \
-for n in $(find test -name '*2102138*.re'|sed 's,.re,,'); do
-	./run_tests.sh ${n}.re
-	test -f ${n}.c.temp && mv -f ${n}.c.temp ${n}.c
-	gcc ${n}.c -o ${n}.o
-	./${n}.o >${n}.out
-	if $(diff -du ${n}.txt ${n}.out >${n}.out.diff); then
-	  echo "OK"
-	  rm -f ${n}.out ${n}.out.diff
-	else
-	  echo "FAIL"
-	fi
-done
-\ No newline at end of file