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 | |
parent | f3d23bbfe2ee955897e9b14619845f4f8357f66c (diff) | |
download | open-axiom-b8f0a3083fa5f6fdc821a7ccca2f7d7e6395b94c.tar.gz |
Add experimental --gui option
Diffstat (limited to 'src')
-rw-r--r-- | src/gui/main.cc | 1 | ||||
-rw-r--r-- | src/utils/command.cc | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/gui/main.cc b/src/gui/main.cc index 9b018492..a372be3a 100644 --- a/src/gui/main.cc +++ b/src/gui/main.cc @@ -32,7 +32,6 @@ #include <QApplication> #include "main-window.h" - int main(int argc, char* argv[]) { using namespace OpenAxiom; 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) { |