Declare our src/Makefile as serial #79

because for some reason, make exhibits very strange behavior
when executing it in parallel jobs
This commit is contained in:
Thomas Jensen 2021-04-20 21:27:22 +02:00
parent bd0738bd00
commit d1a1cf1580
No known key found for this signature in database
GPG Key ID: A4ACEE270D0FB7DB

View File

@ -39,6 +39,8 @@ ORIG_FILES = $(ORIG_SRC) $(ORIG_HDR)
.PHONY: check_dir clean build debug package flags_unix flags_win32 flags_
.NOTPARALLEL:
check_dir:
@if [ "$(shell pwd | sed -e 's/^.*\///')" != "out" ] ; then \
echo ERROR: Please call make from the top level directory. ; \