diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-02-16 18:22:47 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-02-16 18:22:47 +0100 |
| commit | 12cf78567dfde9ebd37548ba13311651d36a55c2 (patch) | |
| tree | 973254190f7e447dcd9287dceddbf16af1a9a225 /referee/Makefile | |
| parent | da16f39035e21603551360aaca10899e32f0f2e4 (diff) | |
Fix referee
Diffstat (limited to 'referee/Makefile')
| -rw-r--r-- | referee/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/referee/Makefile b/referee/Makefile index 4b96779..ffa79c7 100644 --- a/referee/Makefile +++ b/referee/Makefile @@ -1,5 +1,5 @@ CXX := g++ -CXXFLAGS := -Wall -Wextra -std=c++11 -g -O2 +CXXFLAGS := -Wall -Wextra -std=c++11 -O2 TARGET := referee .PHONY: all clean |