# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 780099386 0
# Node ID c910dbca1355c6667a44935b5d103ee5ecfdf149
# Parent  231a4d114799b2c82b8bf01f5c57579a6b09b9f9
(paths-force): Depend on src/paths.h

diff -r 231a4d114799 -r c910dbca1355 Makefile.in
--- a/Makefile.in	Tue Sep 20 19:31:16 1994 +0000
+++ b/Makefile.in	Tue Sep 20 22:16:26 1994 +0000
@@ -219,7 +219,10 @@
 # something notable, so the only unnecessary work we do is in building
 # paths.h.tmp$$$$, which isn't much.
 # Note that sed is not in /bin on 386bsd.
-paths-force: FRC
+# We depend on src/paths.h here to prevent simultaneous execution of
+# that rule and this one, in a parallel make.
+# It is possible for paths.h to be updated twice--but that would happen anyway.
+paths-force: FRC src/paths.h
 	@echo "Producing \`src/paths.h' from \`src/paths.h.in'."
 	@(lisppath=`echo ${lisppath} | ${removenullpaths}` ;		\
 	  buildlisppath=`echo ${buildlisppath} | ${removenullpaths}` ;	\