diff options
| -rwxr-xr-x | bin/fetchgit | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/fetchgit b/bin/fetchgit index 09cc0e202..ffd7e7426 100755 --- a/bin/fetchgit +++ b/bin/fetchgit @@ -35,7 +35,8 @@ work_git() { is_up_to_date() { test -d "$cache_dir" && test -d "$work_dir" && - test "$(work_git rev-parse HEAD)" = "$(cache_git rev-parse "$git_rev")" + test "$(cache_git rev-parse "$git_rev")" = "$git_rev" && + test "$(work_git rev-parse HEAD)" = "$git_rev" } # Notice how the remote name "origin" has been chosen arbitrarily. |