diff options
| author | cyan <cyjan@mrcyjanek.net> | 2025-07-11 06:27:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-11 06:27:24 +0200 |
| commit | 88ecdd81304b2f42983f5b64f727fb20d78c8efa (patch) | |
| tree | b99e846aadb5d571f8ab63841b79acd8865cd7a3 /build_single.sh | |
| parent | a27fbcb24d91143715ed930a05aaa4d853fba1f2 (diff) | |
feat: jenkins CI initial (#142)
* feat: jenkins CI initial
* feat: publish over SSH
* feat: more details regarding build-id generation
* feat: prebuild download logic
* feat: force fast_builds on GitHub CI runs
* feat: add make clean to contrib/depends and invoke it on CI to reduce SSH upload step time
* fix: correct linux save path
* revert: make clean
* separate builds
* enhance sshPublisher
* fix: github CI: depracate GitHub cache, fix DEPENDS_UNTRUSTED_FAST_BUILDS
* fix: sha256sum logic
* chore: refactor github actions and Jenkinsfile to only execute when required
* ci: update ci to 15 and xcode to 16.4
* ci: cleanup builddir before starting
Diffstat (limited to 'build_single.sh')
| -rwxr-xr-x | build_single.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_single.sh b/build_single.sh index c0ace0d..77d5a52 100755 --- a/build_single.sh +++ b/build_single.sh @@ -59,7 +59,7 @@ pushd contrib/depends then echo "Not building depends, directory exists" else - env -i PATH="$PATH" CC=gcc CXX=g++ make "$NPROC" HOST="$HOST_ABI" + env -i PATH="$PATH" CC=gcc CXX=g++ make "$NPROC" HOST="$HOST_ABI" DEPENDS_UNTRUSTED_FAST_BUILDS=$DEPENDS_UNTRUSTED_FAST_BUILDS fi popd |