mirror of
https://github.com/systemd/systemd
synced 2024-10-14 12:04:49 +00:00
mkosi: Use default timeout of 10s
Let's override the default timeout to something more reasonable for mkosi builds.
This commit is contained in:
parent
e912bef85d
commit
9f94d2741f
1
.github/workflows/mkosi.yml
vendored
1
.github/workflows/mkosi.yml
vendored
|
@ -91,6 +91,7 @@ jobs:
|
||||||
|
|
||||||
[Content]
|
[Content]
|
||||||
Environment=CI_BUILD=1
|
Environment=CI_BUILD=1
|
||||||
|
DEFAULT_TIMEOUT_SEC=90
|
||||||
|
|
||||||
[Output]
|
[Output]
|
||||||
KernelCommandLine=${{ env.KERNEL_CMDLINE }}
|
KernelCommandLine=${{ env.KERNEL_CMDLINE }}
|
||||||
|
|
|
@ -63,6 +63,8 @@ if [ ! -f "$BUILDDIR"/build.ninja ] ; then
|
||||||
${PAMDIR:-} \
|
${PAMDIR:-} \
|
||||||
-D "sysvinit-path=$sysvinit_path" \
|
-D "sysvinit-path=$sysvinit_path" \
|
||||||
-D "rootprefix=$rootprefix" \
|
-D "rootprefix=$rootprefix" \
|
||||||
|
-D default-timeout-sec=${DEFAULT_TIMEOUT_SEC:-10} \
|
||||||
|
-D default-user-timeout-sec=${DEFAULT_TIMEOUT_SEC:-10} \
|
||||||
-D man=false \
|
-D man=false \
|
||||||
-D translations=false \
|
-D translations=false \
|
||||||
-D version-tag="${VERSION_TAG}" \
|
-D version-tag="${VERSION_TAG}" \
|
||||||
|
|
Loading…
Reference in a new issue