1
0
mirror of https://github.com/systemd/systemd.git synced 2025-01-10 05:18:17 +03:00

mkosi: Skip sync script if NO_BUILD is enabled

If we're not doing a build, there's no point in syncing either so
lets skip it.

(cherry picked from commit bb8f6ac445)
This commit is contained in:
Daan De Meyer 2024-07-11 16:09:15 +02:00
parent 102ed56c61
commit baad1c0d0e

View File

@ -3,7 +3,7 @@
set -e
set -o nounset
if ((${NO_SYNC:-0})); then
if ((${NO_SYNC:-0})) || ((${NO_BUILD:-0})); then
exit 0
fi