1 files changed, 0 insertions, 13 deletions
diff --git a/src/tests/run_tests.sh b/src/tests/run_tests.sh
deleted file mode 100755
index 470959b..0000000
--- a/src/tests/run_tests.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-
-cd `dirname $0`
-
-for FILE in */Makefile */*/Makefile; do
-	TEST=`dirname $FILE`
-	echo -n "Running test $TEST ... "
-	if make -C $TEST run_test > $TEST/test.log 2>&1; then
-		echo -e "\033[0;32mOK\033[0m"
-	else
-		echo -e "\033[0;31mFAIL\033[0m"
-	fi
-done