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 Committer: Tom Yu Commit: 106f45c07139956167d54aacf1674912d3ef3ced Branch: krb5-1.12 src/util/profile/Makefile.in | 8 +------- 1 files changed, 1 insertions(+), 7 deletions(-)