diff options
Diffstat (limited to 'innobase/page/makefilewin')
-rw-r--r-- | innobase/page/makefilewin | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/innobase/page/makefilewin b/innobase/page/makefilewin new file mode 100644 index 00000000000..4a132cf828c --- /dev/null +++ b/innobase/page/makefilewin @@ -0,0 +1,12 @@ +include ..\include\makefile.i + +page.lib: page0page.obj page0cur.obj + lib -out:..\libs\page.lib page0page.obj page0cur.obj + +page0page.obj: page0page.c + $(CCOM) $(CFL) -c page0page.c + +page0cur.obj: page0cur.c + $(CCOM) $(CFL) -c page0cur.c + + |