From 0735323e7e258ad650ef3f4a44efdf2546a4f4ab Mon Sep 17 00:00:00 2001
From: Mudassir10X <mudassir.ali@10xengineers.ai>
Date: Thu, 23 May 2024 15:44:37 +0500
Subject: [PATCH] This commit fixes #487

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ea6244a43..da4029633 100644
--- a/Makefile
+++ b/Makefile
@@ -185,7 +185,7 @@ ifneq (,$(COVERAGE))
 C_FLAGS += --coverage -O1
 SAIL_FLAGS += -Oconstant_fold
 else
-C_FLAGS += -O3 -flto
+C_FLAGS += -O3 -flto=auto
 endif
 
 ifneq (,$(SAILCOV))