diff --git a/scripts/devcompile.sh b/scripts/devcompile.sh index 13a4a7740..0b362ccb6 100755 --- a/scripts/devcompile.sh +++ b/scripts/devcompile.sh @@ -14,6 +14,10 @@ verify_go () { return 0 fi + if [[ "$2" == "devel" ]]; then + return 0 + fi + local IFS=. local i ver1=($1) ver2=($2)