diff options
Diffstat (limited to 'win32')
-rw-r--r-- | win32/Makefile.sub | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 49159938d2..b64d576a40 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -1067,9 +1067,14 @@ 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 +probes.h: {$(VPATH)}probes.dmyh @$(ECHO) copying dummy $(DEST_FILE) - $(Q) $(CP) $(srcdir:/=\)\probes.dmyh $(OS_DEST_FILE) + @if exist probes.dmyh (\ + $(Q) $(CP) probes.dmyh $(OS_DEST_FILE)\ + ) else (\ + $(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 |