Fix race conditions on parallel builds

This commit is contained in:
flatmapthatshit 2022-12-19 22:24:32 +00:00
parent 9a480c3a42
commit 546828c754
No known key found for this signature in database
GPG Key ID: 3261334233D5E016
1 changed files with 1 additions and 1 deletions

View File

@ -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