view TOOLS/benchmark-gab/start @ 8760:3676579e41f1

encoding-tips needs to be merged - some day
author diego
date Sat, 04 Jan 2003 02:35:43 +0000
parents c36333ff54b0
children
line wrap: on
line source

#!/bin/sh

. ./variables

rm -f $LOGFILE

wrtlog Script version v0.91
wrtlog CPU: $VENDOR $MODEL $MHZ
wrtlog CPUFLAGS: $CPUFLAGS
wrtlog MEM: $MEMORY
wrtlog VGA: $VGA

if [ ! -e no_compile ]; then
  ./compile
else
  wrtlog Skipping compilation
fi

if [ ! -e no_benchmark ]; then
  ./benchmark
else
  wrtlog Skipping benchmark
fi

wrtlog Exiting.