tools/toolbox: Skip install step with --dist

The dist command only needs an up-to-date build directory, it
does not require the project to be installed first.

While the install step is generally quick, leaving the container
file system alone can save a rebuild after the dist is done
(for instance when testing a branch, then temporarily switching
to the release branch for dist).

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3497>
This commit is contained in:
Florian Müllner 2024-10-04 13:24:46 +02:00 committed by Marge Bot
parent 1b8f67055b
commit ae58a827b9

View File

@ -50,7 +50,11 @@ compile_command() {
}
install_command() {
echo -n "sudo meson install -C $BUILD_DIR"
if [[ $RUN_DIST ]]; then
echo -n :
else
echo -n "sudo meson install -C $BUILD_DIR"
fi
}
dist_command() {