We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eae5e82 commit 23c83dfCopy full SHA for 23c83df
.github/jobs/chroot_checks.sh
@@ -3,7 +3,9 @@
3
. .github/jobs/ci_settings.sh
4
5
if [ -n "$1" ] && [ "$1" != "default" ]; then
6
-export ARCH="$1"
+ export ARCH_OPTION="-a $1"
7
+else
8
+ export ARCH_OPTION=""
9
fi
10
11
function finish() {
@@ -46,7 +48,7 @@ cd /opt/domjudge/judgehost/bin || exit 1
46
48
section_end chroot
47
49
50
section_start "Show minimal chroot"
-./dj_make_chroot -a "$ARCH" | tee -a "$ARTIFACTS"/chroot.log
51
+./dj_make_chroot "$ARCH_OPTION" | tee -a "$ARTIFACTS"/chroot.log
52
section_end
53
54
section_start "Test chroot contents"
0 commit comments