fix_pgxs.diff
text/x-patch
Filename: fix_pgxs.diff
Type: text/x-patch
Part: 0
Patch
Format: unified
| File | + | − |
|---|---|---|
| src/makefiles/pgxs.mk | 2 | 0 |
diff --git a/src/makefiles/pgxs.mk b/src/makefiles/pgxs.mk index c038836e73..a97ad2e0f5 100644 --- a/src/makefiles/pgxs.mk +++ b/src/makefiles/pgxs.mk @@ -60,6 +60,8 @@ $(error pgxs error: makefile variable PGXS or NO_PGXS must be set) endif endif +# External extensions can't build the headers +NO_GENERATED_HEADERS=yes ifdef PGXS # We assume that we are in src/makefiles/, so top is ...