From 7561839cfcb36e1841d34dab50433d90240ff3c3 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Sat, 17 Sep 2016 09:23:55 -0600
Subject: [PATCH] Do not optimize kernel

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

diff --git a/Makefile b/Makefile
index 0612c076c..9d394c83b 100644
--- a/Makefile
+++ b/Makefile
@@ -4,9 +4,9 @@ ARCH?=x86_64
 KTARGET=$(ARCH)-unknown-none
 KBUILD=build/kernel
 KRUSTC=./krustc.sh
-KRUSTCFLAGS=--target $(KTARGET).json -O -C soft-float
+KRUSTCFLAGS=--target $(KTARGET).json -C soft-float
 KCARGO=RUSTC="$(KRUSTC)" cargo
-KCARGOFLAGS=--target $(KTARGET).json -- -O -C soft-float
+KCARGOFLAGS=--target $(KTARGET).json -- -C soft-float
 
 # Userspace variables
 TARGET=$(ARCH)-unknown-redox
-- 
GitLab