diff options
Diffstat (limited to 'win32')
-rw-r--r-- | win32/Makefile.sub | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index b5b75f2f7f..49159938d2 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -1067,6 +1067,10 @@ ext/extinit.obj: ext/extinit.c $(SETUP) $(ECHO) compiling ext/extinit.c $(Q) $(CC) $(CFLAGS) $(XCFLAGS) $(CPPFLAGS) $(COUTFLAG)$@ -c ext/extinit.c +probes.h: {$(srcdir)}probes.dmyh + @$(ECHO) copying dummy $(DEST_FILE) + $(Q) $(CP) $(srcdir:/=\)\probes.dmyh $(OS_DEST_FILE) + INSNS = opt_sc.inc optinsn.inc optunifs.inc insns.inc insns_info.inc \ vmtc.inc vm.inc |