Merge pull request #2024 from mozilla/fix-warning-typo

Fix typo in warning name
This commit is contained in:
Reuben Morais 2019-04-08 21:33:46 -03:00 committed by GitHub
commit 8fa35518ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,7 +10,7 @@ import sys
from multiprocessing.dummy import Pool
ARGS = ['-O3', '-DNDEBUG', '-DKENLM_MAX_ORDER=6', '-std=c++11',
'-Wno-unused-local-typedef', '-Wno-sign-compare']
'-Wno-unused-local-typedefs', '-Wno-sign-compare']
INCLUDES = [
'..',