diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2014-07-07 09:27:15 +0100 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2014-07-07 09:27:15 +0100 |
commit | 2afbb58b13d2c90836b4486cb5b27ea2c575bfb4 (patch) | |
tree | 0ebc81e857a6737e4ef7ba33400e353d3b6b9729 /configure | |
parent | 3bee8fdb9ae3dd9c21e6bdd72d620c661760a3c5 (diff) |
Add experimental --with-git-reference-dir option
This option enables sharing of objects in git repositories
on the same machine by using --reference option of git-clone.
Change-Id: I1a4263a387361ac786b09f70ee795d2b9df4bafc
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -597,6 +597,7 @@ ENABLE_BOOTSTRAP ENABLE_SSH REMOTE_SNAPSHOTS LOCAL_BUILDS +GIT_REFERENCE_DIR LOCAL_SNAPSHOTS SYSROOTS CBUILD_PATH @@ -683,6 +684,7 @@ with_toplevel with_sources_conf with_sysroot with_local_snapshots +with_git_reference_dir with_local_builds with_remote_snapshots enable_ssh @@ -1329,6 +1331,9 @@ Optional Packages: --with-sources-conf --with-sysroot --with-local-snapshots Where downloaded tarballs are stored + --with-git-reference-dir + Where reference git repos are stored, see git-clone + --reference --with-local-builds --with-remote-snapshots @@ -3680,6 +3685,16 @@ $as_echo "$as_me: WARNING: ${LOCAL_SNAPSHOTS} does not exist so creating directo fi +# Check whether --with-git-reference-dir was given. +if test "${with_git_reference_dir+set}" = set; then : + withval=$with_git_reference_dir; GIT_REFERENCE_DIR=${withval} +else + GIT_REFERENCE_DIR="" +fi + + + + # Check whether --with-local-builds was given. if test "${with_local_builds+set}" = set; then : withval=$with_local_builds; LOCAL_BUILDS=${withval} |