summaryrefslogtreecommitdiff
path: root/tools/check_scripts.sh
AgeCommit message (Expand)Author
2023-03-23core: replace `set -e` by `set -o errexit` in shell scriptsSébastien Helleu
2023-01-04core: add script check_scripts.shSébastien Helleu