From e1663e985e2bc6c6311b6e81c296f6c4fd794e2d Mon Sep 17 00:00:00 2001
From: Mudassir Ali <140052763+Mudassir10X@users.noreply.github.com>
Date: Mon, 3 Jun 2024 19:58:34 +0500
Subject: [PATCH] Use multiple threads for LTO

This uses the Make job server so that multiple threads can be used for LTO, which speeds up the build.
---
 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))