diff options
Diffstat (limited to 'storage/innobase/os/makefilewin')
| -rw-r--r-- | storage/innobase/os/makefilewin | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/storage/innobase/os/makefilewin b/storage/innobase/os/makefilewin new file mode 100644 index 00000000000..8bc8d08611b --- /dev/null +++ b/storage/innobase/os/makefilewin @@ -0,0 +1,17 @@ +include ..\include\makefile.i + +os.lib: os0sync.obj os0thread.obj os0proc.obj os0file.obj + lib -out:..\libs\os.lib os0sync.obj os0thread.obj os0proc.obj os0file.obj + +os0sync.obj: os0sync.c + $(CCOM) $(CFLW) -c os0sync.c + +os0thread.obj: os0thread.c + $(CCOM) $(CFLW) -c os0thread.c + +os0proc.obj: os0proc.c + $(CCOM) $(CFLW) -c os0proc.c + +os0file.obj: os0file.c + $(CCOM) $(CFLW) -c os0file.c + |