Skip to content

Commit 3aed804

Browse files
author
Michael Vasseur
committed
Add the case where the user did not run the make domserver
In that case root will create the files and not chown them to the right user.
1 parent 24c9af1 commit 3aed804

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

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

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -473,3 +473,16 @@ compile_assertions_finished () {
473473
refute_partial "Permission denied"
474474
assert_success
475475
}
476+
477+
@test "'Make distclean' has permission errors" {
478+
if [ "$distro_id" = "ID=fedora" ]; then
479+
# Fails as libraries are not found
480+
skip
481+
fi
482+
setup
483+
run run_configure
484+
make install-domserver
485+
run_user_stderr make distclean
486+
assert_partial "cannot remove"
487+
assert_partial "Permission denied"
488+
}

0 commit comments

Comments
 (0)