diff --git a/hermit/Makefile b/hermit/Makefile index 3d2f76091..fa224a95d 100644 --- a/hermit/Makefile +++ b/hermit/Makefile @@ -54,7 +54,7 @@ STRIP_DEBUG = --strip-debug KEEP_DEBUG = --only-keep-debug OUTPUT_FORMAT = -O elf32-i386 -CFLAGS_FOR_NEWLIB = -O3 -mavx2 -mfma #$(STACKPROT) +CFLAGS_FOR_NEWLIB = #-O3 -mavx2 -mfma -mtune=intel #$(STACKPROT) LDFLAGS_FOR_NEWLIB = NASMFLAGS_FOR_NEWLIB = -felf64 CFLAGS_FOR_TOOLS = -O2 -Wall