diff --git a/bob/devtools/build.py b/bob/devtools/build.py index a278fcdef1fa4f5d84b776e1e2b9eddbb3044d5f..3802741a5fc1a1129fba749e864381017a261037 100644 --- a/bob/devtools/build.py +++ b/bob/devtools/build.py @@ -642,9 +642,8 @@ if __name__ == '__main__': if not os.path.exists(os.path.join(recipe, 'meta.yaml')): # ignore - not a conda package continue - base_build(bootstrap, server, not args.internet, True, - args.group, recipe, conda_build_config, args.python_version, - condarc_options) + base_build(bootstrap, server, not args.internet, args.group, recipe, + conda_build_config, args.python_version, condarc_options) # notice this condarc typically will only contain the defaults channel - we # need to boost this up with more channels to get it right for this package's diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py index 8e24930f1bf3060e0a3460f23c70ff7a9856d1bb..a4888e337f3d2cc57ffcc671bc46987dade4d7fa 100644 --- a/bob/devtools/scripts/ci.py +++ b/bob/devtools/scripts/ci.py @@ -648,13 +648,13 @@ def docs(ctx, requirement, dry_run): This command: \b - + 1. Clones all the necessary packages necessary to build the bob/beat documentation - \b - + \b + 2. Generates the `extra-intersphinx.txt` and `nitpick-exceptions.txt` file - \b + \b This command is supposed to be run **instead** of `bdt ci build...`