diff options
Diffstat (limited to 'src/include/Makefile')
| -rw-r--r-- | src/include/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/Makefile b/src/include/Makefile index a7ca2778031..11dd6f0d772 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -78,5 +78,5 @@ clean: rm -f catalog/pg_*_d.h catalog/header-stamp rm -f nodes/nodetags.h nodes/header-stamp -distclean maintainer-clean: clean +distclean: clean rm -f pg_config.h pg_config_ext.h pg_config_os.h stamp-h stamp-ext-h |