diff options
Diffstat (limited to '')
| -rw-r--r-- | src/backend/port/win32/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/backend/port/win32/Makefile b/src/backend/port/win32/Makefile new file mode 100644 index 0000000..90126f6 --- /dev/null +++ b/src/backend/port/win32/Makefile @@ -0,0 +1,23 @@ +#------------------------------------------------------------------------- +# +# Makefile-- +# Makefile for backend/port/win32 +# +# IDENTIFICATION +# src/backend/port/win32/Makefile +# +#------------------------------------------------------------------------- + +subdir = src/backend/port/win32 +top_builddir = ../../../.. +include $(top_builddir)/src/Makefile.global + +OBJS = \ + signal.o \ + socket.o \ + timer.o +ifeq ($(have_win32_dbghelp), yes) +OBJS += crashdump.o +endif + +include $(top_srcdir)/src/backend/common.mk |