diff options
Diffstat (limited to 'src/backend/commands/Makefile')
-rw-r--r-- | src/backend/commands/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backend/commands/Makefile b/src/backend/commands/Makefile index 85cfea6fd71..cb2fbdc7c60 100644 --- a/src/backend/commands/Makefile +++ b/src/backend/commands/Makefile @@ -36,6 +36,7 @@ OBJS = \ explain.o \ explain_dr.o \ explain_format.o \ + explain_state.o \ extension.o \ foreigncmds.o \ functioncmds.o \ |