# HG changeset patch
# User diego
# Date 1073336343 0
# Node ID d99cbb6221cdd4fc6ce42231b8d30deb410fa088
# Parent  6ed241d3db16bafe9291980d3f973b02abc94e76
typo

diff -r 6ed241d3db16 -r d99cbb6221cd TOOLS/benchmark-gab/benchmark
--- a/TOOLS/benchmark-gab/benchmark	Mon Jan 05 20:52:44 2004 +0000
+++ b/TOOLS/benchmark-gab/benchmark	Mon Jan 05 20:59:03 2004 +0000
@@ -95,7 +95,7 @@
     benchsamples
   fi
 
-  if [ ! -e xmga_dri_noslices ]; then
+  if [ ! -e xmga_dr_noslices ]; then
     wrtlog Starting XMGA \(DR\) \(no slices\) benchmark runs, with 3 tries...
     DEFAULTOPTS="-quiet -nosound -benchmark -vo xmga -fs -dr -noslices -vf-clr -autoq 0"
     benchsamples