]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17137d6) | patch
Clean out any old versions of no-longer-installed header files that may
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 20 Feb 2001 20:37:13 +0000 (20:37 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 20 Feb 2001 20:37:13 +0000 (20:37 +0000)
commit5ba0f855d18b450509956eb385ee22a8793cc5e2
tree3900245071f1c2f161078d46534397da1b77ac82tree | snapshot
parent17137d6c5bbe6b04e867c4adf28cde49c9f337dfcommit | diff
Clean out any old versions of no-longer-installed header files that may
be lurking in the install target directory.  But don't zap up-to-date
headers (so install-all-headers before regular install will work).
Per suggestion from Larry Rosenman.
src/include/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.