diff options
| author | Alex Bennée <alex.bennee@linaro.org> | 2018-07-09 14:08:25 +0100 |
|---|---|---|
| committer | Alex Bennée <alex.bennee@linaro.org> | 2018-07-24 11:45:25 +0100 |
| commit | 43e1b2ffec8cf1741f1ccae56503803d9b8c38d1 (patch) | |
| tree | dd5b2cb902eb4e885bf8822c0ee4e6bde11616e6 /os-win32.c | |
| parent | be5e1f527abb26414a3b67882669b15649ade593 (diff) | |
docker: fail more gracefully on docker.py check
As this is called directly from the Makefile while determining
dependencies and it is possible the user was configured in one window
but not have credentials in the other. Let's catch the Exceptions and
deal with it quietly.
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reported-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Diffstat (limited to 'os-win32.c')
0 files changed, 0 insertions, 0 deletions