[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: -fix bootstrap GANA switch
From: |
gnunet |
Subject: |
[gnunet] branch master updated: -fix bootstrap GANA switch |
Date: |
Fri, 04 Nov 2022 01:59:01 +0100 |
This is an automated email from the git hooks/post-receive script.
martin-schanzenbach pushed a commit to branch master
in repository gnunet.
The following commit(s) were added to refs/heads/master by this push:
new 118b8a9a4 -fix bootstrap GANA switch
118b8a9a4 is described below
commit 118b8a9a4b8c1c8b55ee0d659e3ef7fb5f44cd46
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Fri Nov 4 09:58:55 2022 +0900
-fix bootstrap GANA switch
---
bootstrap | 14 ++++++--------
1 file changed, 6 insertions(+), 8 deletions(-)
diff --git a/bootstrap b/bootstrap
index 28afd657f..fbe03c6f7 100755
--- a/bootstrap
+++ b/bootstrap
@@ -123,6 +123,10 @@ sphinx_update()
gana_update()
{
+ if [ ! -z $GNUNET_SKIP_GANA ]; then
+ echo "Skipping GANA update"
+ return
+ fi
echo "Updating GANA..."
if existence recfmt; then
cwd=$PWD
@@ -165,16 +169,10 @@ main()
cleanup
submodules
gana_update
+ sphinx_update
+ check_uncrustify
check_yapf
check_libtool
- check_uncrustify
-
- if [ "$#" = "1" ] && [ "$1" = "--no-doc" ]
- then
- echo "Do not create documentation"
- else
- sphinx_update
- fi
}
main "$@"
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gnunet] branch master updated: -fix bootstrap GANA switch,
gnunet <=