diff --git a/utils/check_misra.sh b/utils/check_misra.sh index 7142ff03..e64d5ef0 100755 --- a/utils/check_misra.sh +++ b/utils/check_misra.sh @@ -1,6 +1,3 @@ -if ls *.dump 1> /dev/null 2>&1; then - rm *.dump -fi if [ -f ./results.txt ]; then rm results.txt fi