Always provide memcheck details

lwindolf · Mar 13, 2024 · 1499322 · 1499322
1 parent 8017052
commit 1499322
Showing 1 changed file with 9 additions and 7 deletions.
diff --git a/src/tests/memcheck.sh b/src/tests/memcheck.sh
@@ -36,14 +36,16 @@ EOT
 		if [ "$output" != "" ]; then
 			error=1
 			echo "ERROR: memcheck reports problems for '$tool'!"
+			echo "Relevant error lines are:"
+			echo
 			echo "$output"
-
-			# When in github provide extra details
-			if [ "$GITHUB_ACTION" != "" ]; then
-				echo "::group:: $tool details"
-				echo "$details"
-				echo "::endgroup::"
-			fi
+			echo
+			echo "Full valgrind details:"
+			echo
+			[ "$GITHUB_ACTION" != "" ] && echo "::group:: $tool details"
+			echo "$details"
+			[ "$GITHUB_ACTION" != "" ] && echo "::endgroup::"
+			echo
 		else
 			echo "memcheck '$tool' OK"
 		fi