aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile.in5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 7ecd8985be8..71e2a0a0503 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -219,7 +219,10 @@ src/paths.h: Makefile ${srcdir}/src/paths.h.in
219# something notable, so the only unnecessary work we do is in building 219# something notable, so the only unnecessary work we do is in building
220# paths.h.tmp$$$$, which isn't much. 220# paths.h.tmp$$$$, which isn't much.
221# Note that sed is not in /bin on 386bsd. 221# Note that sed is not in /bin on 386bsd.
222paths-force: FRC 222# We depend on src/paths.h here to prevent simultaneous execution of
223# that rule and this one, in a parallel make.
224# It is possible for paths.h to be updated twice--but that would happen anyway.
225paths-force: FRC src/paths.h
223 @echo "Producing \`src/paths.h' from \`src/paths.h.in'." 226 @echo "Producing \`src/paths.h' from \`src/paths.h.in'."
224 @(lisppath=`echo ${lisppath} | ${removenullpaths}` ; \ 227 @(lisppath=`echo ${lisppath} | ${removenullpaths}` ; \
225 buildlisppath=`echo ${buildlisppath} | ${removenullpaths}` ; \ 228 buildlisppath=`echo ${buildlisppath} | ${removenullpaths}` ; \