[chutney/master] Remove temporary files created in 'show_warnings()' - tor-commits

24 Jan 2020

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() {

    