ci: only execute capture-devcoredump.sh when it's present
authorEric Engestrom <eric@igalia.com>
Fri, 12 May 2023 15:46:34 +0000 (16:46 +0100)
committerMarge Bot <emma+marge@anholt.net>
Tue, 23 May 2023 16:28:55 +0000 (16:28 +0000)
commit348818fc6c56b818ed9f103196a8e45a6b92289b
treecf081ae45ed10f53f0dac87e6a57a821164f4826
parentaedbc3585781269a12cdb0fa54bd9e2cdcfa39e7
ci: only execute capture-devcoredump.sh when it's present

Avoids this error:

    ./install/common/init-stage2.sh: line 130: /capture-devcoredump.sh: No such file or directory

One step closer to an error-free CI and being able to `set -e`.

Signed-off-by: Eric Engestrom <eric@igalia.com>
Reviewed-by: Guilherme Gallo <guilherme.gallo@collabora.com>
Reviewed-by: David Heidelberg <david.heidelberg@collabora.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/22992>
.gitlab-ci/common/init-stage2.sh