diff --git a/include/parameters b/include/parameters index eb7e5ce5..a7f3f4af 100644 --- a/include/parameters +++ b/include/parameters @@ -344,7 +344,7 @@ ;; # Skip execution of plugins - --skip-plugins | --no-plugins) + --skip-plugins | --no-plugins | --noplugins) SKIP_PLUGINS=1 ;;