diff options
| author | Tom Lane | 2007-10-14 17:07:51 +0000 |
|---|---|---|
| committer | Tom Lane | 2007-10-14 17:07:51 +0000 |
| commit | e79bc7c2984300af6891784139cfb3af8907803e (patch) | |
| tree | 56f164084f20b0f8876b4cbe8f837e6704af4ee0 | |
| parent | 0ff45745d6670c59c6db455d3364b35b650f9ac3 (diff) | |
make install is supposed to install everything under src/include/,
but it was missing a bunch of recently-added subdirectories.
| -rw-r--r-- | src/include/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/include/Makefile b/src/include/Makefile index 4ca9fc7889..4b80820028 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -18,8 +18,10 @@ all: pg_config.h pg_config_os.h # Subdirectories containing headers for server-side dev SUBDIRS = access bootstrap catalog commands executor lib libpq mb \ - nodes optimizer parser regex rewrite storage tcop tsearch utils \ - port port/win32 port/win32/arpa port/win32/netinet port/win32/sys + nodes optimizer parser postmaster regex rewrite storage tcop \ + snowball snowball/libstemmer tsearch tsearch/dicts utils \ + port port/win32 port/win32_msvc port/win32_msvc/sys \ + port/win32/arpa port/win32/netinet port/win32/sys # Install all headers install: all installdirs |