Branch: refs/heads/master Author: Enrico Tröger enrico.troeger@uvena.de Committer: Enrico Tröger enrico.troeger@uvena.de Date: Sun, 19 Mar 2023 13:45:23 UTC Commit: f0e3ee273e67387f85506ea629b9dbe34d47b8ca https://github.com/geany/geany/commit/f0e3ee273e67387f85506ea629b9dbe34d47b8...
Log Message: ----------- CI: Fix copied Geany source file permissions
This prevents mixed file permissions if an existing Geany source tree is copied into the build container which could break git in the CI script.
Modified Paths: -------------- scripts/ci_mingw64_geany.sh
Modified: scripts/ci_mingw64_geany.sh 1 lines changed, 1 insertions(+), 0 deletions(-) =================================================================== @@ -97,6 +97,7 @@ git_clone_geany_if_necessary() { if [ -d ${GEANY_SOURCE_DIR} ]; then log "Copying Geany source" cp --archive ${GEANY_SOURCE_DIR}/ ${GEANY_BUILD_DIR}/ + chown --recursive $(id -u):$(id -g) ${GEANY_BUILD_DIR}/ else log "Cloning Geany repository from ${GEANY_GIT_REPOSITORY}" git clone --depth 1 ${GEANY_GIT_REPOSITORY} ${GEANY_BUILD_DIR}
-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).