commit 2cd77aab3bc7f3479a64ad3291478fb3a938d7ee Author: Steven Engler <sengler@uwaterloo.ca> Date: Tue Jan 21 23:26:12 2020 -0500 Remove temporary files created in 'show_warnings()' --- tools/warnings.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/warnings.sh b/tools/warnings.sh index b8c263d..e9915a7 100755 --- a/tools/warnings.sh +++ b/tools/warnings.sh @@ -77,6 +77,8 @@ show_warnings() { if [ "$CHUTNEY_WARNINGS_SUMMARY" != true ]; then $ECHO_Q "" fi + # Remove the temporary files we created + rm "${LOGS}" "${FILTERED_LOGS}" } usage() {