fix a cat

diff --git a/misc/tools/the-big-benchmark/the-big-benchmark.sh b/misc/tools/the-big-benchmark/the-big-benchmark.sh
index d7503fcb399d67e0888f9b834f620f89570410a5..667e413f3f6d158cafaf7ec019f0e22d069d6864 100755 (executable)
--- a/misc/tools/the-big-benchmark/the-big-benchmark.sh
+++ b/misc/tools/the-big-benchmark/the-big-benchmark.sh
@@ -67,7 +67,7 @@ for e in omg low med normal high ultra ultimate; do
                break
        fi
        cat data/engine.log >> data/the-big-benchmark.log
-       cat benchmark.log >> data/the-big-benchmark.log
+       cat data/benchmark.log >> data/the-big-benchmark.log
 done
 if [ -f ./all ]; then
        ./all clean -r -f -u