diff options
| -rw-r--r-- | lib/prelude.sh | 4 | 
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  | 
