Skip to content
Snippets Groups Projects
Commit e0aca4d7 authored by Christophe Geuzaine's avatar Christophe Geuzaine
Browse files

revert

parent 87d29d6f
Branches
Tags
No related merge requests found
...@@ -125,7 +125,7 @@ void GetOptions(int argc, char *argv[]) ...@@ -125,7 +125,7 @@ void GetOptions(int argc, char *argv[])
{ {
// print messages on terminal // print messages on terminal
int terminal = CTX::instance()->terminal; int terminal = CTX::instance()->terminal;
CTX::instance()->terminal = 0; CTX::instance()->terminal = 1;
#if defined(HAVE_PARSER) #if defined(HAVE_PARSER)
// Parse session and option files // Parse session and option files
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment