diff options
| author | Chris Johns <chrisj@rtems.org> | 2019-05-30 20:21:35 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2019-06-11 11:00:30 +1000 |
| commit | 7568306148a5597472312884804339224e236989 (patch) | |
| tree | ce3ba923354847909bedd9607b762f7d05ef01bd | |
| parent | cbff4c8ca2b8f9a207e8538decae06ea81dbc2b1 (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): |