diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-03 15:09:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 15:09:00 +0200 |
| commit | f8484bb77d6ddf1f5078d804a8abff3d106d6cab (patch) | |
| tree | 6437c83af9590d09ac60eead1247d53890ed4565 /main/main.cpp | |
| parent | c1cee80829f10d32cc23067291321b049af7082d (diff) | |
| parent | 60688c3fe71f322fbf30938da47e717f9c3a0fb4 (diff) | |
Merge pull request #22672 from akien-mga/fix-warnings
Fix various warnings reported by CI in #22620
Diffstat (limited to 'main/main.cpp')
| -rw-r--r-- | main/main.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/main/main.cpp b/main/main.cpp index c50d684f4a..41ae368087 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -115,9 +115,11 @@ static bool editor = false; static bool project_manager = false; static String locale; static bool show_help = false; -static bool auto_build_solutions = false; static bool auto_quit = false; static OS::ProcessID allow_focus_steal_pid = 0; +#ifdef TOOLS_ENABLED +static bool auto_build_solutions = false; +#endif // Display |