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 | rtemstoolkit/macros: Convert all keys to str from unicode. (diff) | |
download | rtems-tools-7568306148a5597472312884804339224e236989.tar.bz2 |
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): |