diff options
Diffstat (limited to 'src/util/profile/Makefile.in')
-rw-r--r-- | src/util/profile/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/profile/Makefile.in b/src/util/profile/Makefile.in index a2d4814c8..b06b5bb61 100644 --- a/src/util/profile/Makefile.in +++ b/src/util/profile/Makefile.in @@ -61,6 +61,8 @@ all-windows:: $(PROFILE_HDR) install-headers-unix:: includes +generate-files-mac: profile.h + $(PROFILE_HDR):: profile.h $(CP) profile.h "$@" |