diff options
| author | tv <tv@krebsco.de> | 2015-06-28 14:45:23 +0200 | 
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-06-28 14:45:23 +0200 | 
| commit | c88ea41439751c2268f5234defd10eddfc987baf (patch) | |
| tree | c829324cf7f3239ae8c6b08070da6c5a3036b2f6 /bin/fetchgit | |
| parent | 71505df763c4a34161459dd8099025c6711f89a0 (diff) | |
fetchgit: is_up_to_date requires rev to be a sha1
Diffstat (limited to 'bin/fetchgit')
| -rwxr-xr-x | bin/fetchgit | 3 | 
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/fetchgit b/bin/fetchgit index 09cc0e2..ffd7e74 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.  | 
