[krbdev.mit.edu #7967] git commit

[Tom Yu via RT]

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)

https://github.com/krb5/krb5/commit/106f45c07139956167d54aacf1674912d3ef3ced
Author: Greg Hudson <ghudson at mit.edu>
Committer: Tom Yu <tlyu at mit.edu>
Commit: 106f45c07139956167d54aacf1674912d3ef3ced
Branch: krb5-1.12
 src/util/profile/Makefile.in |    8 +-------
 1 files changed, 1 insertions(+), 7 deletions(-)