From 4e274a043fc8310ce1148190ef674beca06e990c Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter@eisentraut.org>
Date: Fri, 22 Mar 2019 23:19:30 +0100
Subject: [PATCH] Add gitignore entries for jsonpath_gram.h

---
 src/backend/utils/adt/.gitignore | 1 +
 src/include/utils/.gitignore     | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/backend/utils/adt/.gitignore b/src/backend/utils/adt/.gitignore
index 48cf941a52..15a37eba60 100644
--- a/src/backend/utils/adt/.gitignore
+++ b/src/backend/utils/adt/.gitignore
@@ -1,2 +1,3 @@
 /jsonpath_gram.c
+/jsonpath_gram.h
 /jsonpath_scan.c
diff --git a/src/include/utils/.gitignore b/src/include/utils/.gitignore
index 05cfa7a8d6..5a2a996744 100644
--- a/src/include/utils/.gitignore
+++ b/src/include/utils/.gitignore
@@ -1,5 +1,6 @@
 /fmgroids.h
 /fmgrprotos.h
+/jsonpath_gram.h
 /probes.h
 /errcodes.h
 /header-stamp