diff options
| author | Peter Eisentraut | 2009-01-22 22:27:13 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2009-01-22 22:27:13 +0000 |
| commit | 9c4b69ed5cd275953e49f4520398801797f144c3 (patch) | |
| tree | 08a56db793ee54b6e8cba9ff756cab2c2ae08938 /src/interfaces/ecpg | |
| parent | 3cb5d6580a335e0b7fcf25da7fcebee3a776edb4 (diff) | |
Recreate ecpg_config.h with a stamp file created by config.status, same
way pg_config.h is handled. This avoids reruns of config.status on every
build, if configure has been rerun.
Diffstat (limited to 'src/interfaces/ecpg')
| -rw-r--r-- | src/interfaces/ecpg/include/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interfaces/ecpg/include/Makefile b/src/interfaces/ecpg/include/Makefile index 32c7a12d05d..29ed1bfd80b 100644 --- a/src/interfaces/ecpg/include/Makefile +++ b/src/interfaces/ecpg/include/Makefile @@ -31,5 +31,4 @@ uninstall: rm -f '$(DESTDIR)$(includedir)'/$(notdir $(ecpg_config_h)) distclean maintainer-clean: - rm -f ecpg_config.h - + rm -f ecpg_config.h stamp-h |