Fix race in util/profile/Makefile.in

$(BUILDTOP)/include/profile.h was being updated by two different
rules, which could collide with make -j.  Use a dependency from
includes instead of a redundant rule.

(cherry picked from commit 4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9)

ticket: 8111 (new)
version_fixed: 1.11.6
status: resolved

diff --git a/src/util/profile/Makefile.in b/src/util/profile/Makefile.in
index e88094ecce85f9759bdfc440d8ff4039eb21543d..f02eae19fc59275568235e94e4842769594c96ba 100644 (file)
--- a/src/util/profile/Makefile.in
+++ b/src/util/profile/Makefile.in
@@ -68,13 +68,7 @@ generate-files-mac: profile.h
 $(PROFILE_HDR):: profile.h
        $(CP) profile.h "$@"
 
-includes:: profile.h
-       if cmp profile.h \
-       $(BUILDTOP)/include/profile.h >/dev/null 2>&1; then :; \
-       else \
-               (set -x; $(RM) $(BUILDTOP)/include/profile.h; \
-                $(CP) profile.h $(BUILDTOP)/include/profile.h) ; \
-       fi
+includes:: $(PROFILE_HDR)
 
 clean-unix::
        $(RM) $(BUILDTOP)/include/profile.h test2.ini test3.ini test2.ini.bak