diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index bcdbd9588a..0e56399cb9 100644 --- a/src/Makefile +++ b/src/Makefile @@ -41,6 +41,11 @@ endif $(recurse) +# Update the commonly used headers before building the subdirectories; +# otherwise, in a parallel build, several different sub-jobs will try to +# remake them concurrently +$(SUBDIRS:%=all-%-recurse): | submake-generated-headers + install: install-local install-local: installdirs-local |