diff options
| author | Greg Hudson <ghudson@mit.edu> | 2013-10-17 14:02:14 -0400 |
|---|---|---|
| committer | Greg Hudson <ghudson@mit.edu> | 2013-10-21 13:49:41 -0400 |
| commit | 4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9 (patch) | |
| tree | 12b11d30c797382015547a5d2ea7f4022e81b56c | |
| parent | f3977b6883f0172a2af9006522a1b35546f86749 (diff) | |
| download | krb5-4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9.tar.gz krb5-4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9.tar.xz krb5-4d3827ac1b0e9e6447a132c57f3e2d74d3dfe8a9.zip | |
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.
| -rw-r--r-- | 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 f1418fb7f..79ea610c5 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 |