diff options
| author | Devan Carpenter <git@dvn.me> | 2023-11-23 13:01:19 -0500 |
|---|---|---|
| committer | Devan Carpenter <git@dvn.me> | 2023-11-27 22:45:43 -0500 |
| commit | 5e380c9f348dbaf69ff96dbd851af577e6240985 (patch) | |
| tree | 0e366378d55b22985333b6d7aad2f9ab731ed962 /contrib/ci | |
| parent | ee0c0b198570be488816713363d777e89ea3dd88 (diff) | |
| download | gnunet-5e380c9f348dbaf69ff96dbd851af577e6240985.tar.gz gnunet-5e380c9f348dbaf69ff96dbd851af577e6240985.zip | |
ci: clean the workspace before building for arm64
otherwise there may be artifacts from earlier jobs in the same
pipeline
Diffstat (limited to 'contrib/ci')
| -rwxr-xr-x | contrib/ci/jobs/4-arm64-build/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/jobs/4-arm64-build/build.sh b/contrib/ci/jobs/4-arm64-build/build.sh index a5a89ca82..7da9d4a75 100755 --- a/contrib/ci/jobs/4-arm64-build/build.sh +++ b/contrib/ci/jobs/4-arm64-build/build.sh | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | set -exuo pipefail | 2 | set -exuo pipefail |
| 3 | 3 | ||
| 4 | make clean | ||
| 4 | ./bootstrap | 5 | ./bootstrap |
| 5 | ./configure CFLAGS="-ggdb -O0" \ | 6 | ./configure CFLAGS="-ggdb -O0" \ |
| 6 | --enable-logging=verbose \ | 7 | --enable-logging=verbose \ |