From 756998ec2bb5acd480b46215ad9060444cc97cb2 Mon Sep 17 00:00:00 2001 From: Carlos Gutierrez Date: Sun, 5 Oct 2025 00:22:22 -0400 Subject: [PATCH] updating --- scripts/check_gem5.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/check_gem5.sh b/scripts/check_gem5.sh index 1c7f15b..dedb034 100755 --- a/scripts/check_gem5.sh +++ b/scripts/check_gem5.sh @@ -29,9 +29,9 @@ fi echo "[check_gem5] ✓ gem5 binary found at $GEM5_BIN" # Check if gem5 runs -if ! "$GEM5_BIN" --version >/dev/null 2>&1; then +if ! "$GEM5_BIN" --help >/dev/null 2>&1; then echo "[check_gem5] ERROR: gem5 binary exists but cannot run" - echo "[check_gem5] Try running: $GEM5_BIN --version" + echo "[check_gem5] Try running: $GEM5_BIN --help" exit 1 fi