diff options
Diffstat (limited to 'src/util/profile/Makefile.in')
| -rw-r--r-- | src/util/profile/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/profile/Makefile.in b/src/util/profile/Makefile.in index 33a1321b76..b857d435ce 100644 --- a/src/util/profile/Makefile.in +++ b/src/util/profile/Makefile.in @@ -105,8 +105,12 @@ $(OUTPRE)test_profile.exe: $(CC) $(CFLAGS2) -o test_profile.exe test_profile.c prof_init.c \ prof_file.c prof_parse.c prof_tree.c /link /stack:16384 +##DOS##!if 0 profile.h: prof_err.h profile.hin cat $(srcdir)/profile.hin prof_err.h > $@ +##DOS##!endif +##DOS##profile.h: prof_err.h profile.hin +##DOS## copy /b profile.hin+prof_err.h $@ prof_err.h: $(srcdir)/prof_err.et |