diff options
Diffstat (limited to 'win32')
| -rw-r--r-- | win32/Makefile.sub | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 336e56af3b..38d332f726 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -1148,12 +1148,9 @@ ext/extinit.obj: ext/extinit.c $(SETUP) $(Q) $(CC) $(CFLAGS) $(XCFLAGS) $(CPPFLAGS) $(COUTFLAG)$@ -c ext/extinit.c probes.h: {$(VPATH)}probes.dmyh - @$(ECHO) copying dummy $(DEST_FILE) - @if exist probes.dmyh (\ - $(Q) $(CP) probes.dmyh $(OS_DEST_FILE)\ - ) else (\ - $(Q) $(CP) $(srcdir:/=\)\probes.dmyh $(OS_DEST_FILE)\ - ) + @$(ECHO) making dummy <<$(DEST_FILE) +#include "$(*F).dmyh" +<<KEEP INSNS = opt_sc.inc optinsn.inc optunifs.inc insns.inc insns_info.inc \ vmtc.inc vm.inc |