diff options
Diffstat (limited to 'win32')
-rw-r--r-- | win32/Makefile.sub | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index f7bfc28dcd..1eef8b47ad 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -1113,6 +1113,7 @@ probes.h: {$(VPATH)}probes.dmyh $(Q) $(CP) $(srcdir:/=\)\probes.dmyh $(OS_DEST_FILE)\ ) +{$(VPATH)}sizes.c: sizes.c INSNS = opt_sc.inc optinsn.inc optunifs.inc insns.inc insns_info.inc \ vmtc.inc vm.inc |