diff options
author | Devan Carpenter <devan@taler.net> | 2024-01-23 11:27:34 -0500 |
---|---|---|
committer | Devan Carpenter <devan@taler.net> | 2024-01-23 11:27:34 -0500 |
commit | 04284778ff41ef66798a2aca9c6dfe7cc8e5728a (patch) | |
tree | ad95cb71a69fbd460fc01980d36223ab40e38fb6 /contrib | |
parent | 6efab6eddad09ed8f209bc2f740c7c29ccc1058b (diff) |
ci: set prefix to /usr in build job
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/ci/jobs/1-build/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/jobs/1-build/build.sh b/contrib/ci/jobs/1-build/build.sh index b1137429..7d1b502a 100755 --- a/contrib/ci/jobs/1-build/build.sh +++ b/contrib/ci/jobs/1-build/build.sh @@ -3,6 +3,7 @@ set -exuo pipefail ./bootstrap ./configure CFLAGS="-ggdb -O0" \ + --prefix=/usr \ --enable-logging=verbose \ --disable-doc |