From ec7c774a1090f976348e7059d0927146877eac93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sat, 28 Sep 2019 12:10:01 +0200 Subject: [PATCH] ExprEngine: Adjust the command line in test/verify/juliet.py --- test/verify/juliet.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/verify/juliet.py b/test/verify/juliet.py index cc208425a..70bca7b12 100644 --- a/test/verify/juliet.py +++ b/test/verify/juliet.py @@ -30,7 +30,7 @@ num_failed = 0 for f in get_files(JULIET_PATH): inc = '-I' + os.path.join(JULIET_PATH, 'C/testcasesupport') - cmd = f'{CPPCHECK_PATH} {inc} --verify --platform=unix64 ' + ' '.join(glob.glob(f)) + cmd = f'{CPPCHECK_PATH} {inc} -DOMIT_GOOD --library=posix --verify --platform=unix64 ' + ' '.join(glob.glob(f)) p = subprocess.Popen(cmd.split(), stdout=subprocess.PIPE, stderr=subprocess.PIPE) comm = p.communicate() stdout = comm[0].decode(encoding='utf-8', errors='ignore')