diff --git a/tools/ci/toolchain.sh b/tools/ci/toolchain.sh index 4e44b23d77e..24293b32b7f 100755 --- a/tools/ci/toolchain.sh +++ b/tools/ci/toolchain.sh @@ -85,8 +85,3 @@ if [[ $# -eq 1 ]]; then else show_help fi - - - - -