aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2014-07-07 09:27:15 +0100
committerMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>2014-07-07 09:27:15 +0100
commit2afbb58b13d2c90836b4486cb5b27ea2c575bfb4 (patch)
tree0ebc81e857a6737e4ef7ba33400e353d3b6b9729 /configure
parent3bee8fdb9ae3dd9c21e6bdd72d620c661760a3c5 (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-xconfigure15
1 files changed, 15 insertions, 0 deletions
diff --git a/configure b/configure
index a101fd1..50f1892 100755
--- a/configure
+++ b/configure
@@ -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}