Skip Menu |

Subject: git commit

Fix race in util/profile/

$(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)
Author: Greg Hudson <>
Committer: Tom Yu <>
Commit: 640080a7c47238f0b63e35cfb484308f76db4992
Branch: krb5-1.11
src/util/profile/ | 8 +-------
1 files changed, 1 insertions(+), 7 deletions(-)