diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-11-04 09:58:55 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-11-04 09:58:55 +0900 |
commit | 118b8a9a4b8c1c8b55ee0d659e3ef7fb5f44cd46 (patch) | |
tree | e3372fa3972199bb486f1f833cb02fdf52aad478 | |
parent | 4294a74c0ebd2b3b7787aa87ce6c254ae261328f (diff) | |
download | gnunet-118b8a9a4b8c1c8b55ee0d659e3ef7fb5f44cd46.tar.gz gnunet-118b8a9a4b8c1c8b55ee0d659e3ef7fb5f44cd46.zip |
-fix bootstrap GANA switch
-rwxr-xr-x | bootstrap | 14 |
1 files changed, 6 insertions, 8 deletions
@@ -123,6 +123,10 @@ sphinx_update() | |||
123 | 123 | ||
124 | gana_update() | 124 | gana_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 | ||
180 | main "$@" | 178 | main "$@" |