From c178c0b5822fd3664c589d4b534bea17fc46a3bc Mon Sep 17 00:00:00 2001 From: Stephan Schroevers Date: Sat, 3 Feb 2024 21:29:25 +0100 Subject: [PATCH] Suggestions (2) --- integration-tests/checkstyle.sh | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/integration-tests/checkstyle.sh b/integration-tests/checkstyle.sh index 21e0881915..c5f41b9a00 100755 --- a/integration-tests/checkstyle.sh +++ b/integration-tests/checkstyle.sh @@ -189,16 +189,12 @@ else # XXX: This "diff of diffs" also contains vacuous sections, introduced due to # line offset differences. Try to omit those from the final output. if ! diff -u "${expected_changes}" "${actual_changes}"; then - echo 'There are unexpected changes.' - echo "Inspect the preceding output or execute the following command to see the changes:" - echo "$ diff -u '${expected_changes}' '${actual_changes}'" + echo 'There are unexpected changes. Inspect the preceding output for details.' failure=1 fi echo 'Inspecting emitted warnings...' if ! diff -u "${expected_warnings}" "${actual_warnings}"; then - echo 'Diagnostics output changed.' - echo "Inspect the preceding output or execute the following command to see the warnings:" - echo "$ diff -u '${expected_warnings}' '${actual_warnings}'" + echo 'Diagnostics output changed. Inspect the preceding output for details.' failure=1 fi fi