1 files changed, 0 insertions, 55 deletions
diff --git a/scripts/compile-test b/scripts/compile-test
deleted file mode 100755
index 820c50e9a..000000000
--- a/scripts/compile-test
+++ /dev/null
@@ -1,55 +0,0 @@
-#!/bin/bash
-
-# $1: compiler path
-# $2: configuration name
-# $3: logfile
-
-PATH=$1:$PATH 
-
-echo config...: $2 >> $3
-echo date.....: `date` >> $3
-echo user.....: $USER@$HOSTNAME >> $3
-
-make $2_config
-
-if [ $? != "0" ]; then 
-	echo "result...: no config file '$2'" >> $3
-	echo >> $3
-	exit 1
-fi
-
-make oldconfig
-
-#
-# Now start the compilation
-#
-
-PTX_STARTTIME=`date +"%s"`
-(make world; echo PTX_RESULT=$?) 2>&1 | tee logfile
-PTX_STOPTIME=`date +"%s"`
-PTX_RESULT=`grep PTX_RESULT logfile | awk -F"=" -- '{print $2}'`
-let "PTX_TIME=$PTX_STOPTIME-$PTX_STARTTIME"
-
-PTX_BUILDTIME_H=$(($PTX_TIME/3600))
-PTX_TIME=$(($PTX_TIME-$PTX_BUILDTIME_H*3600))
-PTX_BUILDTIME_M=$(($PTX_TIME/60))
-PTX_TIME=$(($PTX_TIME-$PTX_BUILDTIME_M*60))
-PTX_BUILDTIME_S=$PTX_TIME
-
-echo buildtime: ${PTX_BUILDTIME_H}h${PTX_BUILDTIME_M}m${PTX_BUILDTIME_S}s >> $3
-echo result...: $PTX_RESULT >> $3
-echo >> $3
-
-# save logfile
-mv logfile logs/$2.log
-
-# save root filesystem 
-# FIXME: use image mechanism...
-tar -zcvf logs/$2-root.tar.gz root
-
-# save depend.out
-mv depend.out logs/$2.dep
-
-make distclean
-	
-