From c2d3ca6fa31069c2dc8708520013df4d25d91fe2 Mon Sep 17 00:00:00 2001
From: gaaclarke <30870216+gaaclarke@users.noreply.github.com>
Date: Wed, 5 Aug 2020 09:43:53 -0700
Subject: [PATCH] Switched the linter to use the dart that comes with the
 engine. (#20247)

---
 ci/lint.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ci/lint.sh b/ci/lint.sh
index c926c5998..d6da68055 100755
--- a/ci/lint.sh
+++ b/ci/lint.sh
@@ -1,6 +1,9 @@
 #!/bin/bash
 
 set -e
+SCRIPT_DIR=`realpath $(dirname "${BASH_SOURCE[0]}")`
+DART="${SCRIPT_DIR}/../../third_party/dart/tools/sdks/dart-sdk/bin/dart"
+PUB="${SCRIPT_DIR}/../../third_party/dart/tools/sdks/dart-sdk/bin/pub"
 
 # Needed because if it is set, cd may print the path it changed to.
 unset CDPATH
@@ -41,7 +44,7 @@ if [ ! -f "$COMPILE_COMMANDS" ]; then
 fi
 
 cd "$CI_DIR"
-pub get && dart \
+$PUB get && $DART \
   --disable-dart-dev \
   bin/lint.dart \
   --compile-commands="$COMPILE_COMMANDS" \
-- 
GitLab