We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eb63bad commit 1f8feb2Copy full SHA for 1f8feb2
build-tools/cache_samples.sh
@@ -12,9 +12,9 @@ set -eu
12
# 2: sampleDir (output directory of the clone command)
13
# 3: revision (the prefered revision of the git repo we want to clone)
14
function clone_sample_repo() {
15
- gitRepository="$1"
16
- sampleDir="$2"
17
- revision="$3"
+ local gitRepository="$1"
+ local sampleDir="$2"
+ local revision="$3"
18
if [[ $revision == "null" ]]; then
19
echo "cloning $gitRepository to $sampleDir"
20
git clone $gitRepository $sampleDir
0 commit comments