[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[taler-merchant] branch master updated: ci: set prefix to /usr in build
From: |
gnunet |
Subject: |
[taler-merchant] branch master updated: ci: set prefix to /usr in build job |
Date: |
Tue, 23 Jan 2024 17:28:23 +0100 |
This is an automated email from the git hooks/post-receive script.
devan-carpenter pushed a commit to branch master
in repository merchant.
The following commit(s) were added to refs/heads/master by this push:
new 04284778 ci: set prefix to /usr in build job
04284778 is described below
commit 04284778ff41ef66798a2aca9c6dfe7cc8e5728a
Author: Devan Carpenter <devan@taler.net>
AuthorDate: Tue Jan 23 11:27:34 2024 -0500
ci: set prefix to /usr in build job
---
contrib/ci/jobs/1-build/build.sh | 1 +
1 file changed, 1 insertion(+)
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
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [taler-merchant] branch master updated: ci: set prefix to /usr in build job,
gnunet <=