diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-16 12:01:25 +0200 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-16 13:18:18 +0200 |
| commit | fa2f18ad8e386f067c2d7d5362f6b4dd84c295a0 (patch) | |
| tree | 6205699c7099c78311bbc02a745f4ed668751688 /ci/lint/docker-entrypoint.sh | |
| parent | 01e5d6b105861ebf1216df6f1682004e44dd2544 (diff) | |
ci: Use DOCKER_BUILDKIT for lint image
Can be reviewed with:
--color-moved=dimmed-zebra --ignore-all-space
Diffstat (limited to 'ci/lint/docker-entrypoint.sh')
| -rwxr-xr-x | ci/lint/docker-entrypoint.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/lint/docker-entrypoint.sh b/ci/lint/docker-entrypoint.sh index 3fdbbb0761..63bd2d4298 100755 --- a/ci/lint/docker-entrypoint.sh +++ b/ci/lint/docker-entrypoint.sh @@ -5,6 +5,8 @@ export LC_ALL=C # of the mounted bitcoin src dir. git config --global --add safe.directory /bitcoin +export PATH="/python_build/bin:${PATH}" + if [ -z "$1" ]; then LOCAL_BRANCH=1 bash -ic "./ci/lint/06_script.sh" else |