Skip to content

Commit a14d055

Browse files
committed
Fixup
1 parent 7230f48 commit a14d055

File tree

1 file changed

+0
-36
lines changed

1 file changed

+0
-36
lines changed

.github/jobs/configure-checks/all.bats

Lines changed: 0 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -404,39 +404,3 @@ compile_assertions_finished () {
404404
run make judgehost
405405
assert_success
406406
}
407-
408-
@test "Build domserver disabled" {
409-
if [ "$distro_id" = "ID=fedora" ]; then
410-
# Fails as libraries are not found
411-
skip
412-
fi
413-
setup
414-
run run_configure --disable-domserver-build
415-
refute_line " * domserver...........: /opt/domjudge/domserver"
416-
for group in www-data apache nginx; do
417-
refute_line " * webserver group.....: $group"
418-
done
419-
assert_line " * judgehost...........: /opt/domjudge/judgehost"
420-
assert_line " * runguard group......: domjudge-run"
421-
run make domserver
422-
assert_failure
423-
run make judgehost
424-
assert_success
425-
}
426-
427-
@test "Build judgehost disabled" {
428-
if [ "$distro_id" = "ID=fedora" ]; then
429-
# Fails as libraries are not found
430-
skip
431-
fi
432-
setup
433-
run run_configure --disable-judgehost-build
434-
assert_line " * domserver...........: /opt/domjudge/domserver"
435-
assert_regex "^ \* webserver group\.\.\.\.\.: (www-data|apache|nginx)$"
436-
refute_line " * judgehost...........: /opt/domjudge/judgehost"
437-
refute_line " * runguard group......: domjudge-run"
438-
run make domserver
439-
assert_success
440-
run make judgehost
441-
assert_failure
442-
}

0 commit comments

Comments
 (0)