krb5 commit: Fix race in util/profile/Makefile.in

[Greg Hudson]

https://github.com/krb5/krb5/commit/4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9
commit 4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9
Author: Greg Hudson <ghudson at mit.edu>
Date:   Thu Oct 17 14:02:14 2013 -0400

    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.

 src/util/profile/Makefile.in |    8 +-------
 1 files changed, 1 insertions(+), 7 deletions(-)

diff --git a/src/util/profile/Makefile.in b/src/util/profile/Makefile.in
index f1418fb..79ea610 100644
--- a/src/util/profile/Makefile.in
+++ b/src/util/profile/Makefile.in
@@ -62,13 +62,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