diff options
author | Emma Anholt <emma@anholt.net> | 2022-01-12 10:59:08 -0800 |
---|---|---|
committer | Marge Bot <emma+marge@anholt.net> | 2022-01-27 04:37:16 +0000 |
commit | ccbf16124e981c93333d71a8217914d410a14f19 (patch) | |
tree | d7e2cd561a2bebf8704560cfaa48247fd5cfb5e8 /.gitlab-ci/piglit | |
parent | d041630a3791cf3dbafba833cb9344c533207c21 (diff) | |
download | mesa-ccbf16124e981c93333d71a8217914d410a14f19.tar.gz |
ci/traces: Rename the piglit/run.sh script to piglit-traces.sh.
That's the only use of this script that's left.
Reviewed-by: Cristian Ciocaltea <cristian.ciocaltea@collabora.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/14604>
Diffstat (limited to '.gitlab-ci/piglit')
-rwxr-xr-x | .gitlab-ci/piglit/piglit-traces.sh (renamed from .gitlab-ci/piglit/run.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.gitlab-ci/piglit/run.sh b/.gitlab-ci/piglit/piglit-traces.sh index e8a9cdaaec8..e8a9cdaaec8 100755 --- a/.gitlab-ci/piglit/run.sh +++ b/.gitlab-ci/piglit/piglit-traces.sh |