remove duplicate function

flutter · Nov 15, 2023 · ff905ab · ff905ab
1 parent 8c7e664
commit ff905ab
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 21 deletions.
diff --git a/tool/ci/bots.sh b/tool/ci/bots.sh
@@ -4,25 +4,9 @@
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
-# This section must be at the top of each CI script.
-# ---------------- Begin ---------------- #
-
 # Fast fail the script on failures.
 set -ex
 
-# In GitBash on Windows, we have to call flutter.bat so we alias them in this
-# script to call the correct one based on the OS.
-function flutter {
-    # TODO: Also support windows on github actions.
-    if [[ $RUNNER_OS == "Windows" ]]; then
-        command flutter.bat "$@"
-    else
-        command flutter "$@"
-    fi
-}
-
-# ---------------- End ---------------- #
-
 source ./tool/ci/setup.sh
 
 # Change the CI to the packages/devtools_app directory.

diff --git a/tool/ci/setup.sh b/tool/ci/setup.sh
@@ -4,9 +4,6 @@
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
-# This section must be at the top of each CI script.
-# ---------------- Begin ---------------- #
-
 # Fast fail the script on failures.
 set -ex
 
@@ -23,8 +20,7 @@ function flutter {
         command flutter "$@"
     fi
 }
-
-# ---------------- End ---------------- #
+export -f flutter
 
 # TODO: Also support windows on github actions.
 if [[ $RUNNER_OS == "Windows" ]]; then