Move server-only tools to server tools folder.

1 files changed, 0 insertions, 31 deletions

diff --git a/tools/testlist b/tools/testlist
deleted file mode 100755
index 01a48e2..0000000
--- a/tools/testlist
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/bash
-
-SCRIPTDIR=`dirname $0`
-
-grep -l "TEST_BEGIN" *.cc > tmp
-
-echo -n "TESTFILES="
-while read LINE
-do
-		FILE=$LINE
-		NAME=`echo $FILE | cut -d'.' -f1`
-		TEST=test_$NAME
-		echo -ne "$TEST "
-done < tmp
-echo ""
-echo ""
-
-while read LINE
-do
-		FILE=$LINE
-		NAME=`echo $FILE | cut -d'.' -f1`
-		DEPS=`cat $FILE | grep "deps:" | cut -d':' -f2`
-		LIBS=`cat $FILE | grep "libs:" | cut -d':' -f2`
-		CFLAGS=`cat $FILE | grep "cflags:" | cut -d':' -f2`
-		TEST=test_$NAME
-		echo "$TEST: $FILE $DEPS"
-		echo -e "\t@TEST_DEPS=\"$DEPS\" TEST_CFLAGS=\"$CFLAGS\" TEST_LIBS=\"$LIBS\" ${SCRIPTDIR}/test $FILE"
-		echo ""
-done < tmp
-
-rm -f tmp
\ No newline at end of file