Only download sources if the latest version differs from PKGBUILD

1 files changed, 15 insertions, 1 deletions

diff --git a/update_SDK.zsh b/update_SDK.zsh
index 8dfb66921089..d189ccfaaa17 100755
--- a/update_SDK.zsh
+++ b/update_SDK.zsh
@@ -1,12 +1,26 @@
 #!/usr/bin/env zsh
 
-function main(){
+function get_version(){
     local link=https://monkeysaudio.com/versionhistory.html
     local version=$(curl -s $link | awk '/Version [0-9]+\.[0-9]+/{print $3; exit}')
+    echo $version
+}
+
+function update_to(){
+    local version=$1
     sed -i "s/pkgver=.*/pkgver=$version/" PKGBUILD
     updpkgsums
     makepkg
     makepkg --printsrcinfo > .SRCINFO
 }
 
+function main(){
+    version=$(get_version)
+    if grep -q "pkgver=$version" PKGBUILD; then
+        printf "Up-to-date: version %s\n" $version
+    else
+        update_to $version
+    fi
+}
+
 main $@