gnunet

commit 5e380c9f348dbaf69ff96dbd851af577e6240985
parent ee0c0b198570be488816713363d777e89ea3dd88
Author: Devan Carpenter <git@dvn.me>
Date:   Thu, 23 Nov 2023 13:01:19 -0500

ci: clean the workspace before building for arm64

otherwise there may be artifacts from earlier jobs in the same
pipeline

Diffstat:
M
contrib/ci/jobs/4-arm64-build/build.sh
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/contrib/ci/jobs/4-arm64-build/build.sh b/contrib/ci/jobs/4-arm64-build/build.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 set -exuo pipefail
 
+make clean
 ./bootstrap
 ./configure CFLAGS="-ggdb -O0" \
 	    --enable-logging=verbose \