diff options
author | Eric Anholt <[email protected]> | 2020-06-09 19:01:06 -0700 |
---|---|---|
committer | Marge Bot <[email protected]> | 2020-06-25 17:33:28 +0000 |
commit | 9f1412cf3eb1c45beca9d5c973dfbf4fa84c10e8 (patch) | |
tree | b44b191aba026108c5e2637521172b45de53d21b /.gitlab-ci/tracie | |
parent | 7406d627c8864a8754efed14d0ad9d6a853325ac (diff) |
ci/tracie: Print the path if the trace isn't found.
I hit this a few times while setting up CI.
Reviewed-by: Tomeu Vizoso <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/5433>
Diffstat (limited to '.gitlab-ci/tracie')
-rw-r--r-- | .gitlab-ci/tracie/tracie.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci/tracie/tracie.py b/.gitlab-ci/tracie/tracie.py index 854ba8a17c5..59016cae164 100644 --- a/.gitlab-ci/tracie/tracie.py +++ b/.gitlab-ci/tracie/tracie.py @@ -85,7 +85,9 @@ def gitlab_ensure_trace(project_url, repo_commit, trace): trace_path = TRACES_DB_PATH + trace['path'] if project_url is None: assert(repo_commit is None) - assert(os.path.exists(trace_path)) + if not os.path.exists(trace_path): + print("{} missing".format(trace_path)) + sys.exit(1) return os.makedirs(os.path.dirname(trace_path), exist_ok=True) |