diff options
author | tomsmeding <tom.smeding@gmail.com> | 2019-12-18 23:36:47 +0100 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2019-12-18 23:36:47 +0100 |
commit | 5644b73188deae8f1689bfca8c970c6d08d49b6c (patch) | |
tree | 9ae9971903b8ba3e155b4109327af42ea0e7ac7e /2019/Makefile | |
parent | e689580094e12993d44996e6b9d933155e735e27 (diff) |
Failed attempt at a multithreaded 16
Diffstat (limited to '2019/Makefile')
-rw-r--r-- | 2019/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/2019/Makefile b/2019/Makefile index ee0449e..a21d52b 100644 --- a/2019/Makefile +++ b/2019/Makefile @@ -1,5 +1,5 @@ GHC = ghc -GHCFLAGS = -Wall -O3 +GHCFLAGS = -Wall -O3 -threaded CXX = g++ CXXFLAGS = -Wall -Wextra -std=c++17 -O2 |