diff options
author | Luca Ceresoli <luca@lucaceresoli.net> | 2020-05-03 16:54:28 +0100 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2020-05-03 16:54:28 +0100 |
commit | 302e7912253bd1f1a88f04d9a8a71d8a3c9b93fc (patch) | |
tree | 7d8ecaae0062a3765d20ac13c19f6b0f1d407da0 /src/OS | |
parent | 9ffec364844aaf19ed4bb275760fdb30de5e91ca (diff) |
Build: fix parallelism problem. Bug 2566
Diffstat (limited to 'src/OS')
-rw-r--r-- | src/OS/Makefile-Base | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/OS/Makefile-Base b/src/OS/Makefile-Base index b66678bee..9eed7b0b9 100644 --- a/src/OS/Makefile-Base +++ b/src/OS/Makefile-Base @@ -662,11 +662,14 @@ PHDRS = ../config.h \ .c.o:; @echo "$(CC) $*.c" $(FE)$(CC) -c $(CFLAGS) -I. $(INCLUDE) $(IPV6_INCLUDE) $(TLS_INCLUDE) $*.c -# Update Exim's version information and build the version object. +# Update Exim's version information and build the version object. The dependency +# chain here avoids problems under parallel-make. -version.h version.sh:: +version.sh: @../scripts/reversion +version.h: version.sh + cnumber.h: version.h version.o: $(HDRS) cnumber.h version.h version.c |