Browse Source

Fix Paddle script branch

Lutz Roeder 7 years ago
parent
commit
e2599117db
1 changed files with 1 additions and 1 deletions
  1. 1 1
      tools/paddle

+ 1 - 1
tools/paddle

@@ -27,7 +27,7 @@ git_sync () {
     mkdir -p "${third_party}"
     if [ -d "${third_party}/${1}" ]; then
         git -C "${third_party}/${1}" fetch -p --quiet
-        git -C "${third_party}/${1}" reset --quiet --hard origin/develop
+        git -C "${third_party}/${1}" reset --quiet --hard origin/$(git -C "${third_party}/${1}" rev-parse --abbrev-ref HEAD)
     else
         echo "Clone ${2}..."
         git -C "${third_party}" clone --recursive ${2} ${1}