view TOOLS/benchmark-gab/start @ 18715:30d7ddf08889

Fix window position when changing videos while in fullscreen and for window managers that modify position on Map. Oked by Alexander Strasser.

#!/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.