| 1 | #!/usr/bin/env bash |
| 2 | # |
| 3 | # Misc automation. |
| 4 | # |
| 5 | # Usage: |
| 6 | # ./run.sh <function name> |
| 7 | |
| 8 | set -o nounset |
| 9 | set -o pipefail |
| 10 | set -o errexit |
| 11 | |
| 12 | readonly THIS_DIR=$(dirname $(readlink -f $0)) |
| 13 | readonly REPO_ROOT=$THIS_DIR/.. |
| 14 | |
| 15 | source build/dev-shell.sh |
| 16 | |
| 17 | # |
| 18 | # Utilities |
| 19 | # |
| 20 | |
| 21 | gen-ctags() { |
| 22 | ctags -R $TODO_MYPY_REPO |
| 23 | } |
| 24 | |
| 25 | "$@" |