Daniel Stone ef175ea594 ci: Make section emission really quiet ...

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>

2024-10-20 11:32:43 +01:00

1.5 KiB

Executable File

Raw Permalink Blame History

View Raw