diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-07-20 23:57:56 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-07-20 23:57:56 +0100 |
| commit | dbddec33c8247beb5984d0c3fbcdf86a94054248 (patch) | |
| tree | 6f711915422e3a2b76013d4bf6d488ce1221d84e /src/main.cpp | |
| parent | 401a5955a4ed1746e96f29db8e521cb4831a863d (diff) | |
Internal changes; thread.odin for windows only
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp index a6590956d..abee3e4b0 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -1,4 +1,5 @@ #define USE_CUSTOM_BACKEND 0 +// #define NO_ARRAY_BOUNDS_CHECK #include "common.cpp" #include "timings.cpp" |