2021-01-27 23:44:18 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2021-01-28 00:13:30 +00:00
|
|
|
dir=$(dirname $0)
|
|
|
|
|
$dir/check-style -n
|
|
|
|
|
$dir/check-typos
|
|
|
|
|
$dir/check-whitespaces -n
|
|
|
|
|
$dir/check-duplicate-includes.sh
|
|
|
|
|
$dir/shellcheck-run.sh
|
2022-06-03 11:55:56 +00:00
|
|
|
$dir/check-doc-aspell
|
