From a4da76c303c5d85ad3e9cb8f45f52aabd01eafab Mon Sep 17 00:00:00 2001
From: Sean McBride <spmcbride1201@gmail.com>
Date: Sun, 23 Aug 2020 13:42:23 -0400
Subject: [PATCH] chore: Document alternate CC_OPTIONS

---
 runtime/Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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