diff --git a/csmith/check_generated_eh_frame.py b/csmith/check_generated_eh_frame.py index a586385..2adc887 100755 --- a/csmith/check_generated_eh_frame.py +++ b/csmith/check_generated_eh_frame.py @@ -386,7 +386,9 @@ def main(): # If we had some errors to report, let's report positive data too reports.append("{} matched".format(len(matched))) print("{}: {}".format(test_name, "; ".join(reports))) + return 1 + return 0 if __name__ == "__main__": - main() + sys.exit(main()) diff --git a/csmith/check_generated_eh_frame.sh b/csmith/check_generated_eh_frame.sh index f2b66c4..a1beb31 100755 --- a/csmith/check_generated_eh_frame.sh +++ b/csmith/check_generated_eh_frame.sh @@ -23,3 +23,4 @@ fi readelf -wF "$orig_path" ; \ echo "===" ; \ readelf -wF "$eh_path") | python $py_checker $* +exit $?