diff options
-rwxr-xr-x | aiaiai-test-patchset | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aiaiai-test-patchset b/aiaiai-test-patchset index 0ecbac6..a17d124 100755 --- a/aiaiai-test-patchset +++ b/aiaiai-test-patchset @@ -122,7 +122,7 @@ test_checkpatch() local n=0 patch_cnt local tmp_out="$tmpdir/checkpatch.tmp_out" local tmp_mbox="$tmpdir/checkpatch.tmp_mbox" - local opts="--no-tree -q --show-types --ignore PREFER_PACKED,PREFER_ALIGNED" + local opts="--no-tree -q --show-types --ignore PREFER_PACKED,PREFER_ALIGNED,CONST_STRUCT" patch_cnt="$(formail -s echo 1 < "$mbox" | wc -l)" |