summaryrefslogtreecommitdiff
path: root/tools/build_debian.sh
AgeCommit message (Collapse)Author
2023-03-23core: replace `set -e` by `set -o errexit` in shell scriptsSébastien Helleu
2023-01-05core: rename script build-debian.sh to build_debian.shSébastien Helleu