diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-06-18 14:36:06 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-06-18 14:36:06 +0100 |
| commit | 4236519b84e2bea73b1b7756a20a2df24d3fb070 (patch) | |
| tree | 39e90d5650a9e84270d41b899eadc3aaed02a87c /src/main.cpp | |
| parent | e4944b4f2ebf617d629184257ef81e9c3f212e6c (diff) | |
`#location(..)` and `#call_location`
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main.cpp b/src/main.cpp index e4c6e6606..9ae8dc88e 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -1,4 +1,4 @@ -#define USE_CUSTOM_BACKEND false +#define USE_CUSTOM_BACKEND 0 #include "common.cpp" #include "timings.cpp" @@ -205,7 +205,7 @@ int main(int argc, char **argv) { #endif -#if USE_CUSTOM_BACKEND +#if defined(USE_CUSTOM_BACKEND) && USE_CUSTOM_BACKEND if (global_error_collector.count != 0) { return 1; } |