aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-11-04 09:58:55 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2022-11-04 09:58:55 +0900
commit118b8a9a4b8c1c8b55ee0d659e3ef7fb5f44cd46 (patch)
treee3372fa3972199bb486f1f833cb02fdf52aad478
parent4294a74c0ebd2b3b7787aa87ce6c254ae261328f (diff)
downloadgnunet-118b8a9a4b8c1c8b55ee0d659e3ef7fb5f44cd46.tar.gz
gnunet-118b8a9a4b8c1c8b55ee0d659e3ef7fb5f44cd46.zip
-fix bootstrap GANA switch
-rwxr-xr-xbootstrap14
1 files 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()
123 123
124gana_update() 124gana_update()
125{ 125{
126 if [ ! -z $GNUNET_SKIP_GANA ]; then
127 echo "Skipping GANA update"
128 return
129 fi
126 echo "Updating GANA..." 130 echo "Updating GANA..."
127 if existence recfmt; then 131 if existence recfmt; then
128 cwd=$PWD 132 cwd=$PWD
@@ -165,16 +169,10 @@ main()
165 cleanup 169 cleanup
166 submodules 170 submodules
167 gana_update 171 gana_update
172 sphinx_update
173 check_uncrustify
168 check_yapf 174 check_yapf
169 check_libtool 175 check_libtool
170 check_uncrustify
171
172 if [ "$#" = "1" ] && [ "$1" = "--no-doc" ]
173 then
174 echo "Do not create documentation"
175 else
176 sphinx_update
177 fi
178} 176}
179 177
180main "$@" 178main "$@"