From 64610c7453fc6bc0be7d3f9cb49058fb849be725 Mon Sep 17 00:00:00 2001 From: Bent Bisballe Nyeng Date: Thu, 17 Nov 2011 14:38:54 +0100 Subject: Move server-only tools to server tools folder. --- tools/testlist | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100755 tools/testlist (limited to 'tools/testlist') 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 -- cgit v1.2.3