commit | 10861beaa89a4cec61e04dd4954452da24b7a757 | [log] [tgz] |
---|---|---|
author | Robert Schiele <rschiele@gmail.com> | Wed Aug 01 06:30:35 2007 +0200 |
committer | Junio C Hamano <gitster@pobox.com> | Tue Jul 31 22:36:55 2007 -0700 |
tree | 7b5ce0c9867e0d8b71f5edf4b89d2ed8d3be3ae0 | |
parent | 4b7f59af2a5b072a0a3950c956842e4d6223a167 [diff] |
make the name of the library directory a config option Introduce new makefile variable lib to hold the name of the lib directory ("lib" by default). Also introduce a switch for configure to specify this name with --with-lib=ARG. This is useful for systems that use a different name than "lib" (like "lib64" on some 64 bit Linux architectures). Signed-off-by: Robert Schiele <rschiele@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>