diff options
Diffstat (limited to 'environment.py')
-rw-r--r-- | environment.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/environment.py b/environment.py index e335895..c813f0c 100644 --- a/environment.py +++ b/environment.py @@ -973,12 +973,6 @@ def find_valgrind(): valgrind_exe = None return valgrind_exe -def find_cppcheck(): - cppcheck_exe = 'cppcheck' - if not exe_exists([cppcheck_exe, '-h']): - cppcheck_exe = None - return cppcheck_exe - def is_osx(): return platform.system().lower() == 'darwin' |