diff --git a/util/build-gnu.sh b/util/build-gnu.sh index 734088252..394bbf1a0 100755 --- a/util/build-gnu.sh +++ b/util/build-gnu.sh @@ -70,7 +70,7 @@ fi ### -release_tag_GNU="v9.8" +release_tag_GNU="v9.9" # check if the GNU coreutils has been cloned, if not print instructions # note: the ${path_GNU} might already exist, so we check for the .git directory