forked from Lainports/opnsense-ports
17 lines
606 B
Python
17 lines
606 B
Python
--- analyzer/python/ikos/analyzer.py.orig 2018-12-14 07:13:50 UTC
|
|
+++ analyzer/python/ikos/analyzer.py
|
|
@@ -554,10 +554,10 @@ def clang(bc_path, cpp_path, colors=True
|
|
# For #include <ikos/analyzer/intrinsic.hpp>
|
|
cmd += ['-isystem', settings.INCLUDE_DIR]
|
|
|
|
- if colors:
|
|
- cmd.append('-fcolor-diagnostics')
|
|
- else:
|
|
- cmd.append('-fno-color-diagnostics')
|
|
+ #if colors:
|
|
+ # cmd.append('-fcolor-diagnostics')
|
|
+ #else:
|
|
+ # cmd.append('-fno-color-diagnostics')
|
|
|
|
if cpp_path.endswith('.cpp'):
|
|
cmd.append('-std=c++14') # available because clang >= 4.0
|