mirror of
https://gitlab.freedesktop.org/mesa/mesa.git
synced 2026-05-20 17:48:15 +02:00
If you're emitting a section header under set -x, you will see: + section_start foo "foo" + x_off [the section header] This is kind of annoying. Instead of trying to squash it everywhere by dancing around local set +x management, play some extremely stupid tricks with shells to make sure we never emit it. Signed-off-by: Daniel Stone <daniels@collabora.com> Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/31602> |
||
|---|---|---|
| .. | ||
| utils | ||
| __init__.py | ||
| exceptions.py | ||
| lava-gitlab-ci.yml | ||
| lava-submit.sh | ||
| lava_job_submitter.py | ||