Fixup

vmcj · vmcj · commit ede7b53b08b9 · 2024-12-13T22:30:30.000+01:00
diff --git a/.github/jobs/configure-checks/all.bats b/.github/jobs/configure-checks/all.bats
@@ -168,7 +168,7 @@ compile_assertions_finished () {
         groupdel ${www_group} || true
     done
     run ./configure --with-domjudge-user=$u
-    assert_line "checking webserver-group... configure: error: webserver group could not be detected, use --with-webserver-group=GROUP"
+    assert_line "checking webserver-group... configure: error: webserver group could not be detected, use --with-webserver-group=GROUP)"
 }
 
 @test "Check for newly added webserver group (Apache)" {

Original file line number	Diff line number	Diff line change
`@@ -168,7 +168,7 @@ compile_assertions_finished () {`
`168`	`168`	`groupdel ${www_group} \|\| true`
`169`	`169`	`done`
`170`	`170`	`run ./configure --with-domjudge-user=$u`
`171`		`- assert_line "checking webserver-group... configure: error: webserver group could not be detected, use --with-webserver-group=GROUP"`
	`171`	`+ assert_line "checking webserver-group... configure: error: webserver group could not be detected, use --with-webserver-group=GROUP)"`
`172`	`172`	`}`
`173`	`173`
`174`	`174`	`@test "Check for newly added webserver group (Apache)" {`