File tree Expand file tree Collapse file tree 1 file changed +9
-8
lines changed
Expand file tree Collapse file tree 1 file changed +9
-8
lines changed Original file line number Diff line number Diff line change @@ -51,14 +51,15 @@ jobs:
5151 - name : Building an example chroot...
5252 run : |
5353 sudo apt install make pkg-config sudo debootstrap libcgroup-dev php-cli php-curl php-json php-xml php-zip lsof procps gcc g++ libcgroup-dev make acl zip unzip pv mariadb-server nginx php php-fpm php-gd php-cli php-intl php-mbstring php-mysql php-curl php-json php-xml php-zip composer ntp python3-yaml php-bcmath
54- wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip
55- unzip main.zip
56- cd domjudge-main
57- make configure
58- ./configure --with-domjudge-user=domjudge --with-judgehost_chrootdir="$(pwd)/chroot"
59- cd misc-tools
60- make dj_make_chroot
61- sudo ./dj_make_chroot
54+ cd docker-gitlabci
55+ wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip
56+ unzip main.zip
57+ cd domjudge-main
58+ make configure
59+ ./configure --with-domjudge-user=domjudge --with-judgehost_chrootdir="$(pwd)/chroot"
60+ cd misc-tools
61+ make dj_make_chroot
62+ sudo ./dj_make_chroot
6263
6364 - run : |
6465 sudo find . -name chroot
You can’t perform that action at this time.
0 commit comments