]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
projects / thirdparty / systemd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bbddfe5)
mkosi: Skip sync script if NO_BUILD is enabled
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 11 Jul 2024 14:09:15 +0000 (16:09 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 18 Jul 2024 09:17:42 +0000 (11:17 +0200)
If we're not doing a build, there's no point in syncing either so
lets skip it.

mkosi.images/build/mkosi.sync patch | blob | blame | history

diff --git a/mkosi.images/build/mkosi.sync b/mkosi.images/build/mkosi.sync
index 198e1bc14752c01c5ca8b24618e2ba4d9c1a223f..a545d49867003ffacd9f9576e114451778f6c3e9 100755 (executable)
--- a/mkosi.images/build/mkosi.sync
+++ b/mkosi.images/build/mkosi.sync
@@ -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
 
Unnamed repository; edit this file 'description' to name the repository.