diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-04-02 15:23:04 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-04-02 15:23:04 +0000 |
| commit | b8f0a3083fa5f6fdc821a7ccca2f7d7e6395b94c (patch) | |
| tree | c1efff77953c9a0a8da0d778e8ee991e61dc9b2f /src/utils/command.cc | |
| parent | f3d23bbfe2ee955897e9b14619845f4f8357f66c (diff) | |
| download | open-axiom-b8f0a3083fa5f6fdc821a7ccca2f7d7e6395b94c.tar.gz | |
Add experimental --gui option
Diffstat (limited to 'src/utils/command.cc')
| -rw-r--r-- | src/utils/command.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/utils/command.cc b/src/utils/command.cc index 58218c70..c7e4ee47 100644 --- a/src/utils/command.cc +++ b/src/utils/command.cc @@ -351,6 +351,8 @@ preprocess_arguments(Command* command, int argc, char** argv) driver = core_driver; else if (strcmp(argv[i], "--server") == 0) driver = sman_driver; + else if (strcmp(argv[i], "--gui") == 0) + driver = gui_driver; else if (strcmp(argv[i], "--config") == 0) driver = config_driver; else if (strcmp(argv[i], "--execute") == 0) { |