diff options
| author | Dylan Baker <dylan@pnwbakers.com> | 2020-09-17 12:05:27 -0700 |
|---|---|---|
| committer | Dylan Baker <dylan@pnwbakers.com> | 2020-09-24 12:14:13 -0700 |
| commit | bc532a8543d72bdbed9c150c54aa6cd48b854978 (patch) | |
| tree | 0cefeab959fee2355cb9981b57f91a8f07dea77a /run_mypy.py | |
| parent | 48a181866f9cb574d13f59f8d94983a1bc2f88ed (diff) | |
| download | meson-bc532a8543d72bdbed9c150c54aa6cd48b854978.zip meson-bc532a8543d72bdbed9c150c54aa6cd48b854978.tar.gz meson-bc532a8543d72bdbed9c150c54aa6cd48b854978.tar.bz2 | |
compilers/mixins: make compcert type safe
Diffstat (limited to 'run_mypy.py')
| -rwxr-xr-x | run_mypy.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run_mypy.py b/run_mypy.py index 92570bc..0ea8efc 100755 --- a/run_mypy.py +++ b/run_mypy.py @@ -20,6 +20,7 @@ modules = [ 'mesonbuild/compilers/mixins/ccrx.py', 'mesonbuild/compilers/mixins/clang.py', 'mesonbuild/compilers/mixins/clike.py', + 'mesonbuild/compilers/mixins/compcert.py', 'mesonbuild/compilers/mixins/gnu.py', # 'mesonbuild/compilers/mixins/intel.py', # 'mesonbuild/coredata.py', |