mirror of
https://github.com/ankitects/anki.git
synced 2025-09-18 14:02:21 -04:00
7 lines
137 B
Bash
Executable file
7 lines
137 B
Bash
Executable file
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
TOOLS="$(cd "`dirname "$0"`"; pwd)"
|
|
mypy $TOOLS/../anki $TOOLS/../aqt
|
|
(cd $TOOLS/.. && pytype --config pytype.conf)
|