diff options
| author | Bruce Momjian <bruce@momjian.us> | 2004-05-27 13:08:57 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2004-05-27 13:08:57 +0000 |
| commit | 6f21f4adaa87f7ba4dedda01a1c392ee472f43c2 (patch) | |
| tree | c81dc3428aae143d0a2766e1e3203d7b9c6afb0b /configure | |
| parent | d157b7bbc74643dc7459b813d9ed073a629ecd8a (diff) | |
Move pgkill out into /port so pg_ctl can use it on Win32.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index 8a882dffc84..053144e8f0f 100755 --- a/configure +++ b/configure @@ -12014,6 +12014,7 @@ esac case $host_os in mingw*) LIBOBJS="$LIBOBJS copydir.$ac_objext" LIBOBJS="$LIBOBJS gettimeofday.$ac_objext" +LIBOBJS="$LIBOBJS kill.$ac_objext" LIBOBJS="$LIBOBJS open.$ac_objext" LIBOBJS="$LIBOBJS rand.$ac_objext" ;; esac |