We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c99faf4 commit e5bce5eCopy full SHA for e5bce5e
1 file changed
check/mypy
@@ -14,7 +14,7 @@
14
# limitations under the License.
15
16
################################################################################
17
-# Runs mypy on the repository using a preconfigured mypy.ini file.
+# Runs mypy on the repository starting from the root.
18
#
19
# Usage:
20
# check/mypy [--flags]
@@ -25,7 +25,7 @@ cd "$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" || exit 1
25
cd "$(git rev-parse --show-toplevel)" || exit 1
26
27
echo -e -n "\033[31m"
28
-mypy --config-file=dev_tools/conf/mypy.ini "$@" .
+mypy "$@" .
29
result=$?
30
echo -e -n "\033[0m"
31
0 commit comments