File tree Expand file tree Collapse file tree 1 file changed +0
-36
lines changed
.github/jobs/configure-checks Expand file tree Collapse file tree 1 file changed +0
-36
lines changed Original file line number Diff line number Diff line change @@ -40,14 +40,6 @@ setup() {
40
40
repo-install gcc g++ libcgroup-dev composer
41
41
}
42
42
43
- run_user_stderr () {
44
- su $u -c " $* " 2>&1
45
- }
46
-
47
- run_stderr () {
48
- run " $* 2>&1"
49
- }
50
-
51
43
run_configure () {
52
44
su $u -c " ./configure $* "
53
45
}
@@ -466,31 +458,3 @@ compile_assertions_finished () {
466
458
run make judgehost
467
459
assert_failure
468
460
}
469
-
470
- @test " 'Make distclean' has all permissions" {
471
- if [ " $distro_id " = " ID=fedora" ]; then
472
- # Fails as libraries are not found
473
- skip
474
- fi
475
- setup
476
- run run_configure
477
- run_user_stderr make domserver
478
- make install-domserver
479
- run_user_stderr make distclean
480
- refute_partial " cannot remove"
481
- refute_partial " Permission denied"
482
- assert_success
483
- }
484
-
485
- @test " 'Make distclean' has permission errors" {
486
- if [ " $distro_id " = " ID=fedora" ]; then
487
- # Fails as libraries are not found
488
- skip
489
- fi
490
- setup
491
- run run_configure
492
- run_stderr make install-domserver
493
- run_user_stderr make distclean
494
- assert_partial " cannot remove"
495
- assert_partial " Permission denied"
496
- }
You can’t perform that action at this time.
0 commit comments