mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-28 03:57:18 +02:00
* the result is not recorded anywhere * the result is not used anywhere * the result is only used in some places, whereas others have been getting away with it * the result is used improperly Also make command line options handling a little better (e.g., --disable-locale, while redundant, should really still *dis*able). |
||
---|---|---|
.. | ||
backend | ||
bin | ||
corba | ||
data | ||
include | ||
interfaces | ||
makefiles | ||
pl | ||
template | ||
test | ||
tools | ||
tutorial | ||
utils | ||
win32 | ||
DEVELOPERS | ||
GNUmakefile.in | ||
Makefile | ||
Makefile.global.in | ||
Makefile.shlib | ||
win32.mak |