File tree Expand file tree Collapse file tree 1 file changed +5
-8
lines changed
Expand file tree Collapse file tree 1 file changed +5
-8
lines changed Original file line number Diff line number Diff line change @@ -12,17 +12,14 @@ set -eu
1212# 2: sampleDir (output directory of the clone command)
1313# 3: revision (the prefered revision of the git repo we want to clone)
1414function clone_sample_repo() {
15- local gitRepository =" $1 "
16- local sampleDir =" $2 "
17- local revision =" $3 "
15+ local repoUrl =" $1 "
16+ local repoOutputDir =" $2 "
17+ local repoRevision =" $3 "
1818 if [[ $revision == " null" ]]; then
19- echo " cloning $gitRepository to $sampleDir "
20- git clone $gitRepository $sampleDir
19+ git clone $repoUrl $repoOutputDir
2120 else
22- echo " cloning $gitRepository to $sampleDir with revision $revision "
23- git clone --single-branch --branch $revision $gitRepository $sampleDir
21+ git clone --single-branch --branch $repoRevision $repoUrl $repoOutputDir
2422 fi
25-
2623}
2724
2825# cache_sample takes in a given sample name (e.g. nodejs-basic), and git clones its corresponding repository
You can’t perform that action at this time.
0 commit comments