[gnunet] branch master updated: -fix bootstrap GANA switch

[gnunet]

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.