From c2dbbc2fabde0aa931bee5439af2016cd30865ab Mon Sep 17 00:00:00 2001 From: Andrea Date: Sun, 31 Aug 2025 08:52:32 +0200 Subject: [PATCH] chore: update `valgrind_check.sh` script --- scripts/valgrind_check.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/scripts/valgrind_check.sh b/scripts/valgrind_check.sh index 5bd66c1..a1e763c 100755 --- a/scripts/valgrind_check.sh +++ b/scripts/valgrind_check.sh @@ -9,8 +9,13 @@ main() { local valgrind_flags="--leak-check=full --show-leak-kinds=all --track-origins=yes --verbose" if [[ ! -f "$program" ]]; then - echo "Error: Program '$program' not found. Build it first." - exit 1 + echo "Building $program..." + make + + if [[ $? != 0 ]]; then + echo "Error while compiling $program, aborting" + exit 1 + fi fi echo "Running Valgrind on $program..."