diff options
Diffstat (limited to 'bootstrap')
-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 "$@" |