diff options
Diffstat (limited to 'src/main/options')
-rw-r--r-- | src/main/options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/options b/src/main/options index 6cc6a0ca0..18cc08ed7 100644 --- a/src/main/options +++ b/src/main/options @@ -41,6 +41,8 @@ option fallbackSequential --fallback-sequential bool :default false option incrementalParallel --incremental-parallel bool :default false :link --incremental Use parallel solver even in incremental mode (may print 'unknown's at times) +option interactive : --interactive bool :read-write + force interactive/non-interactive mode undocumented-option interactivePrompt /--no-interactive-prompt bool :default true turn off interactive prompting while in interactive mode |