diff options
Diffstat (limited to 'src/util')
| -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 |