diff options
Diffstat (limited to 'contrib/ci/jobs')
| -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 \ |