diff options
| author | Derek Hensley <hensley.derek58@gmail.com> | 2024-05-17 07:35:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-17 07:35:12 -0700 |
| commit | fd3431fa486543ea8ced10b946a4e41d49698d10 (patch) | |
| tree | d93b2074377334fa3d461119860cd21914953d99 /tools/warnings_count | |
| parent | 7b2f062df162dd3f31a8d86793355bddb8f15be5 (diff) | |
warnings_count fix (#1634)
* warnings_count fix
* Split off rom and compress in check_new_warnings.sh
Diffstat (limited to 'tools/warnings_count')
| -rwxr-xr-x | tools/warnings_count/check_new_warnings.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tools/warnings_count/check_new_warnings.sh b/tools/warnings_count/check_new_warnings.sh index 27cda1b25..922dfe43f 100755 --- a/tools/warnings_count/check_new_warnings.sh +++ b/tools/warnings_count/check_new_warnings.sh @@ -40,7 +40,7 @@ Optional arguments: jobs=1 full= run="make clean - make uncompressed" + make rom" @@ -54,7 +54,8 @@ do run="make distclean make setup make disasm - make all" + make rom + make compress" ;; j) j_option_arg="$OPTARG" if [[ ! "${j_option_arg}" =~ ^[0-9]*$ ]] @@ -103,10 +104,11 @@ if [[ $full ]]; then make distclean make_warnings setup setup make_warnings disasm disasm - make_warnings all build + make_warnings rom build + make_warnings compress compress else make clean - make_warnings uncompressed build + make_warnings rom build fi |
