diff options
Diffstat (limited to 'ci/run-docker-build.sh')
| -rwxr-xr-x | ci/run-docker-build.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/ci/run-docker-build.sh b/ci/run-docker-build.sh index 8d47a5fda3..5d2764ad3a 100755 --- a/ci/run-docker-build.sh +++ b/ci/run-docker-build.sh @@ -47,15 +47,6 @@ else else useradd -u $HOST_UID $CI_USER fi - - # Due to a bug the test suite was run as root in the past, so - # a prove state file created back then is only accessible by - # root. Now that bug is fixed, the test suite is run as a - # regular user, but the prove state file coming from Travis - # CI's cache might still be owned by root. - # Make sure that this user has rights to any cached files, - # including an existing prove state file. - test -n "$cache_dir" && chown -R $HOST_UID:$HOST_UID "$cache_dir" fi # Build and test |