diff options
| author | mboelen <michael@cisofy.com> | 2016-04-25 17:00:10 +0300 |
|---|---|---|
| committer | mboelen <michael@cisofy.com> | 2016-04-25 17:00:10 +0300 |
| commit | 4dcb9eccff5a77c1320083afb4da638fbb3caa27 (patch) | |
| tree | 63aca07b79bdfc0a4e40ad3be134b7b762fbc44b /include/parameters | |
| parent | e5790dc8c6c2349a846c4d50b019ab31735ff93b (diff) | |
Allow skipping of plugins with --skip-plugins or skip-plugins
Diffstat (limited to 'include/parameters')
| -rw-r--r-- | include/parameters | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/parameters b/include/parameters index 6dbb8e41..ae95755d 100644 --- a/include/parameters +++ b/include/parameters @@ -259,6 +259,10 @@ #RED="" ;; + --skip-plugins) + RUN_PLUGINS=0 + ;; + # Only scan these tests --tests) shift |