summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2019-08-08 22:06:03 +0200
committertomsmeding <tom.smeding@gmail.com>2019-08-08 22:06:03 +0200
commitc01700906812f949c9088709b6c34307fbf63338 (patch)
tree73f97ed62a11aebb5e566ae6bf694a6c2442d4e8 /Makefile
parent56dfacebe34bac5ab53108e34b7872fee78ddf65 (diff)
BREAKING New referee protocol
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3d4f9b3..52d8e7e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
ifeq ($(shell uname),Darwin)
- CXX = g++-8
+ CXX = g++-9
else
CXX = g++
endif