From 546828c754ea09333e4821ed5077a46fa9ea6724 Mon Sep 17 00:00:00 2001
From: flatmapthatshit <48256950+flatmapthatshit@users.noreply.github.com>
Date: Mon, 19 Dec 2022 22:24:32 +0000
Subject: [PATCH] Fix race conditions on parallel builds

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

diff --git a/Makefile b/Makefile
index f5ca6b85..9e971e41 100644
--- a/Makefile
+++ b/Makefile
@@ -265,7 +265,7 @@ endif
 endif
 
 # Make tools if out of date
-DUMMY != CC=$(CC) CXX=$(CXX) $(MAKE) -C tools >&2 || echo FAIL
+DUMMY != CC=$(CC) CXX=$(CXX) $(MAKE) -C tools -j1 >&2 || echo FAIL
 ifeq ($(DUMMY),FAIL)
   $(error Failed to build tools)
 endif