diff options
author | Po Lu <luangruo@yahoo.com> | 2023-02-19 20:45:32 +0800 |
---|---|---|
committer | Po Lu <luangruo@yahoo.com> | 2023-02-19 20:45:32 +0800 |
commit | 18f723faa85b78dff7c8f59257640feededc44d1 (patch) | |
tree | 15e4a6cf2ae285343b6828b3d50f6f262ae0df2d /cross | |
parent | c09dca3fb0369a92a7cfb2a5ec3102a6315b8cc2 (diff) | |
download | emacs-18f723faa85b78dff7c8f59257640feededc44d1.tar.gz |
Fix parallel compilation of Android port
* cross/Makefile.in ($(top_builddir)/lib/libgnu.a):
* java/Makefile.in (CROSS_LIBS): Explicitly depend on gnulib
to prevent it from being built at the same time from different
jobs.
Diffstat (limited to 'cross')
-rw-r--r-- | cross/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cross/Makefile.in b/cross/Makefile.in index fc047fd57bd..c059fda1e3c 100644 --- a/cross/Makefile.in +++ b/cross/Makefile.in @@ -80,11 +80,11 @@ $(top_builddir)/lib/libgnu.a: $(MAKE) -C $(top_builddir)/lib libgnu.a .PHONY: $(top_builddir)/lib-src/make-fingerprint -$(top_builddir)/lib-src/make-fingerprint: +$(top_builddir)/lib-src/make-fingerprint: $(top_builddir)/lib/libgnu.a $(MAKE) -C $(top_builddir)/lib-src make-fingerprint .PHONY: $(top_builddir)/lib-src/make-docfile -$(top_builddir)/lib-src/make-docfile: +$(top_builddir)/lib-src/make-docfile: $(top_builddir)/lib/libgnu.a $(MAKE) -C $(top_builddir)/lib-src make-docfile PRE_BUILD_DEPS=$(top_builddir)/lib/libgnu.a \ |