summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-05-19 21:50:27 +0200
committertv <tv@shackspace.de>2015-05-19 23:17:20 +0200
commiteadedf334c293660f08ab89d1474e2ce8cfd13b8 (patch)
tree2436b792368e8f4659ab48392c07e45ce0645724
parent62667708bdd5f4efd183926b94110d808b3171e2 (diff)
prelude: there's no cache-git
-rw-r--r--lib/prelude.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/prelude.sh b/lib/prelude.sh
index 0350642b3..d2c9da8aa 100644
--- a/lib/prelude.sh
+++ b/lib/prelude.sh
@@ -17,9 +17,9 @@ clone_or_update() {(
git init -q
if ! current_url=$(git config remote.src.url); then
- ${cache-git} remote add "src" "$git_url"
+ git remote add "src" "$git_url"
elif [ $current_url != $git_url ]; then
- ${cache-git} remote set-url src ${git_url}
+ git remote set-url src ${git_url}
fi
git fetch config