diff --git a/travis/github_release_181_withjdk.sh b/travis/github_release_181_withjdk.sh index 2a2f6db96c..c8bdb2c7dd 100644 --- a/travis/github_release_181_withjdk.sh +++ b/travis/github_release_181_withjdk.sh @@ -1,7 +1,7 @@ #!/bin/bash - + function update_tag() { echo "update tag " $1