From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 13 Mar 2022 20:33:51 +0000 (-0700)
Subject: Makefile: Fix running "make dist" before "make all".
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=75c0aef55a6135a0398d520519e79df2b3a21e0e

Makefile: Fix running "make dist" before "make all".

Otherwise, there's a race between generating and using config.h, which
causes build failures.  This happens particularly with the PSPP autobuilder.
---

diff --git a/Makefile.am b/Makefile.am
index 1c345a1441..8ed323b399 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -152,7 +152,7 @@ distfiles: Makefile
 CLEANFILES += distfiles gitfiles missing-distfiles
 PHONY += dist-hook-git
 
-$(bin_PROGRAMS) $(RECURSIVE_TARGETS) dist: $(BUILT_SOURCES) gl/libgl.la
+$(bin_PROGRAMS) $(RECURSIVE_TARGETS) dist: $(BUILT_SOURCES) config.h