diff options
Diffstat (limited to 'build_scripts/options.py')
| -rw-r--r-- | build_scripts/options.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/build_scripts/options.py b/build_scripts/options.py index ec9d4783a..5d4c44203 100644 --- a/build_scripts/options.py +++ b/build_scripts/options.py @@ -200,7 +200,6 @@ class CommandMixin(object): ('ignore-git', None, 'Do update subrepositories'), ('skip-docs', None, 'Skip documentation build (deprecated)'), ('build-docs', None, 'Build the API documentation'), - ('no-examples', None, 'Do not build examples'), ('no-jom', None, 'Do not use jom (MSVC)'), ('build-tests', None, 'Build tests'), ('use-xvfb', None, 'Use Xvfb for testing'), @@ -263,7 +262,6 @@ class CommandMixin(object): self.ignore_git = False self.skip_docs = False self.build_docs = False - self.no_examples = False self.no_jom = False self.build_tests = False self.use_xvfb = False @@ -378,8 +376,8 @@ class CommandMixin(object): OPTION['IGNOREGIT'] = self.ignore_git OPTION['SKIP_DOCS'] = self.skip_docs OPTION['BUILD_DOCS'] = self.build_docs - OPTION['NOEXAMPLES'] = self.no_examples OPTION['BUILDTESTS'] = self.build_tests + OPTION['NO_JOM'] = self.no_jom OPTION['XVFB'] = self.use_xvfb OPTION['REUSE_BUILD'] = self.reuse_build |