diff options
-rw-r--r-- | rtemstoolkit/check.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/rtemstoolkit/check.py b/rtemstoolkit/check.py index 8d4a35c..1f18f72 100644 --- a/rtemstoolkit/check.py +++ b/rtemstoolkit/check.py @@ -143,12 +143,12 @@ def host_setup(opts): return sane -def check_exe(label, exe): - return _check_exe(None, label, exe, None, True) +def check_exe(label, exe, silent = True): + return _check_exe(None, label, exe, None, silent) -def check_dir(label, path): - return _check_dir(None, label, path, 'required', True) +def check_dir(label, path, silent = True): + return _check_dir(None, label, path, 'required', silent) def run(args): |