diff options
author | Robert Schiele <rschiele@gmail.com> | 2007-08-01 06:30:35 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-07-31 22:36:55 -0700 |
commit | 10861beaa89a4cec61e04dd4954452da24b7a757 (patch) | |
tree | 7b5ce0c9867e0d8b71f5edf4b89d2ed8d3be3ae0 /Documentation/git-tools.txt | |
parent | Merge branch 'maint' (diff) | |
download | tgif-10861beaa89a4cec61e04dd4954452da24b7a757.tar.xz |
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>
Diffstat (limited to 'Documentation/git-tools.txt')
0 files changed, 0 insertions, 0 deletions