view TOOLS/benchmark-gab/start @ 14181:6ecf5fca82e2

Fixes the bug that after opening the preferences panel gmplayer plays files very slowly. Seems this was because it used a 4 byte cache afterwards...
author reimar
date Sat, 18 Dec 2004 10:30:17 +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.