Workaround for old git versions without --detach

fixes #78

1 files changed, 3 insertions, 3 deletions

diff --git a/update b/update
index 3d4868f..aa542a5 100755
--- a/update
+++ b/update
@@ -27,7 +27,7 @@ do_gitmaster()
     set -ex
     (
         cd "$1"
-        git checkout --detach origin/master
+        git checkout origin/master^0
         git remote prune origin
     )
 }
@@ -47,7 +47,7 @@ do_releasetag()
     (
         cd "$1"
         version=`git tag | grep -v rc | grep -v dev | versort_with_prefix "$2" | tail -n 1`
-        git checkout --detach refs/tags/"$version"
+        git checkout refs/tags/"$version"^0
     )
 }
 
@@ -55,7 +55,7 @@ do_fixedref()
 {
     (
         cd "$1"
-        git checkout --detach "$2"
+        git checkout "$2"^0
     )
 }