diff options
Diffstat (limited to 'environment.py')
-rwxr-xr-x | environment.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/environment.py b/environment.py index 12b7f22..11274db 100755 --- a/environment.py +++ b/environment.py @@ -451,6 +451,12 @@ 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' |