diff --git a/runtime/Makefile b/runtime/Makefile index f855084..3455445 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -4,8 +4,10 @@ PAGE_SIZE=$(shell getconf PAGESIZE) # Compiler Settings CC=clang -# CC_OPTIONS = -O3 -flto -g -pthread -D_GNU_SOURCE -CC_OPTIONS = -O3 -g -pthread -D_GNU_SOURCE +CC_OPTIONS = -O3 -flto -g -pthread -D_GNU_SOURCE + +# CC_OPTIONS for Debugging +# CC_OPTIONS = -O0 -g -pthread -D_GNU_SOURCE BINARY_NAME=sledgert