Round geekbench mean scores to 3 decimal places, Windows run.bat fixes

Author: arjunsuresh

script/benchmark-program-geekbench/customize.py

@@ -97,7 +97,7 @@ def compute_stats(values):
     """Compute mean, median, olympic, cv_percent, min, max for a list of numeric values."""
     if not values:
         return {}
-    mean_val = round(statistics.mean(values), 2)
+    mean_val = round(statistics.mean(values), 3)
     stdev_val = round(statistics.stdev(values), 2) if len(values) >= 2 else 0
     result = {
         'mean': mean_val,

script/get-geekbench/run.bat

@@ -5,6 +5,10 @@ rem get-geekbench run script (Windows)
 rem Download is handled by the download-and-extract prehook dependency.
 rem This script runs the setup installer silently and exports the installed path.
 
+if not "%MLC_GEEKBENCH_INSTALLED_PATH%" == "" (
+  exit /b 0
+)
+
 if "%MLC_GEEKBENCH_DOWNLOAD_PATH%" == "" (
   echo MLC_GEEKBENCH_DOWNLOAD_PATH is not set
   exit /b 1