Fetch the latest release tag of Redis

kasparsd · May 23, 2017 · 5ff61a6 · 5ff61a6
1 parent c06c28f
commit 5ff61a6
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/extensions/redis-build.sh b/extensions/redis-build.sh
@@ -8,8 +8,15 @@ sudo apt-get install -y \
 
 git clone https://github.com/phpredis/phpredis.git
 cd phpredis
-git checkout php7
-git pull
+
+# Fetch the latest changes
+git fetch --tags --prune
+
+# Get the latest tag
+TAG=$(git describe --tags $(git rev-list --tags --max-count=1))
+
+git checkout -f tags/$TAG
+git reset --hard
 
 /usr/local/php7/bin/phpize
 ./configure --with-php-config=/usr/local/php7/bin/php-config