view TOOLS/benchmark-gab/start @ 12963:89c88649a785

Ignore some more generated files.
author diego
date Thu, 05 Aug 2004 00:12:15 +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.