diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-07-07 15:26:49 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-07-07 15:26:49 +0100 |
| commit | 773cf5ca08de0476b0b8b1ae4c25ac6da62a8059 (patch) | |
| tree | 203717ab20c5772f5b4ae720ed8f92df504f6340 /src/build_settings.cpp | |
| parent | 2db03cb4a54eaa594ca0d3ccb6819a8d56e7efed (diff) | |
Add `-show-timings`; Clean up polymorphic procedure code a bit
Diffstat (limited to 'src/build_settings.cpp')
| -rw-r--r-- | src/build_settings.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/build_settings.cpp b/src/build_settings.cpp index b17313c4c..3f5530da4 100644 --- a/src/build_settings.cpp +++ b/src/build_settings.cpp @@ -18,6 +18,7 @@ struct BuildContext { bool is_dll; bool generate_docs; i32 optimization_level; + bool show_timings; }; |