diff options
| author | gjoranv <gv@yahoo-inc.com> | 2017-06-21 15:39:42 +0200 |
|---|---|---|
| committer | gjoranv <gv@yahoo-inc.com> | 2017-06-21 15:43:20 +0200 |
| commit | f1d7002d8713cabc9da8b734f81b3909ec69d80a (patch) | |
| tree | 8057e3ca8461768a5e500412beae9e1a99e8bbdc /docker | |
| parent | 7fe204d3238d6dd1a417e1ed8bbf1999a55c0a9b (diff) | |
Remove --local option to git clone; it's ignored for file URIs.
Diffstat (limited to 'docker')
| -rwxr-xr-x | docker/vespa-ci-internal.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/vespa-ci-internal.sh b/docker/vespa-ci-internal.sh index 1e5446f2905..c1102476904 100755 --- a/docker/vespa-ci-internal.sh +++ b/docker/vespa-ci-internal.sh @@ -17,7 +17,7 @@ NUM_THREADS=$((${NUM_CORES} * 2)) mkdir "${SOURCE_DIR}" mkdir "${BUILD_DIR}" -git clone --no-checkout --local --no-hardlinks file:///vespa "${SOURCE_DIR}" +git clone --no-checkout --no-hardlinks file:///vespa "${SOURCE_DIR}" cd "${SOURCE_DIR}" git -c advice.detachedHead=false checkout ${GIT_COMMIT} source /opt/rh/devtoolset-6/enable || true |