diff options
| author | Chris Johns <chrisj@rtems.org> | 2019-05-30 20:21:35 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2019-06-09 10:09:47 +1000 |
| commit | 34c5b6cdec24ce361b5f74ba21a3d152c65b6d8c (patch) | |
| tree | d0fae850c4105f5bffb145a8f0f1b8cd1e5c7145 | |
| parent | b7b19f42546b81fc691333b57659b7861c97dc6d (diff) | |
rtemstoolkit/check: Optionally check exe silently.
| -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): |