diff options
Diffstat (limited to 'scripts/functions.sh')
| -rwxr-xr-x | scripts/functions.sh | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/scripts/functions.sh b/scripts/functions.sh index e794d96fc707..65ec0a1167fe 100755 --- a/scripts/functions.sh +++ b/scripts/functions.sh @@ -223,11 +223,9 @@ checkerrtest() die "$_checkerrtest_d" "produced no error message" "$_checkerrtest_name" "$_checkerrtest_error" fi - # Display the error messages if not directly running exe. - # This allows the script to print valgrind output. - if [ "$_checkerrtest_exebase" != "bc" ] && [ "$_checkerrtest_exebase" != "dc" ]; then - cat "$_checkerrtest_out" - fi + # To display error messages, uncomment this line. This is useful when + # debugging. + #cat "$_checkerrtest_out" } # Replace a substring in a string with another. This function is the *real* |