summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-05-19 21:50:27 +0200
committertv <tv@krebsco.de>2015-05-19 23:17:20 +0200
commitf0d3d6e19ef3c71b0e6bca90eab5dd6f8835da9b (patch)
tree2436b792368e8f4659ab48392c07e45ce0645724
parent78ce67d8412e2b4ec1124bf727c3bc3260a17263 (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 0350642..d2c9da8 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