summaryrefslogtreecommitdiffstats
path: root/lib/populate.jq
diff options
context:
space:
mode:
Diffstat (limited to 'lib/populate.jq')
-rw-r--r--lib/populate.jq4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/populate.jq b/lib/populate.jq
index b0615e0..4d77800 100644
--- a/lib/populate.jq
+++ b/lib/populate.jq
@@ -50,7 +50,7 @@ def git_script:
@sh " src_ref=$3",
@sh " if ! test -e \"$dst_dir\"; then",
- @sh " git clone -v \"$src_url\" \"$dst_dir\"",
+ @sh " git clone \"$src_url\" \"$dst_dir\"",
@sh " fi",
@sh " cd \"$dst_dir\"",
@@ -65,7 +65,7 @@ def git_script:
@sh " hash=$src_ref",
@sh " if ! test \"$(git log --format=%H -1)\" = \"$hash\"; then",
- @sh " git fetch -v origin",
+ @sh " git fetch origin",
@sh " git checkout \"$hash\" -- \"$dst_dir\"",
@sh " git checkout -f \"$hash\"",
@sh " fi",