commit bb949e4e15c4ecb5a0daae58ed067fb841a147c8 parent 42a2138069b32ae7ae5bda70110fe2de8dd3716e Author: vaplv <vaplv@free.fr> Date: Wed, 20 Jul 2022 14:14:01 +0200 Fix indentation in the make.sh script Diffstat:
| M | make.sh | | | 16 | ++++++++-------- |
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/make.sh b/make.sh @@ -32,21 +32,21 @@ config_test() run_test() { - n=0 + n=0 - for i in "$@"; do + for i in "$@"; do test=$(echo "${i}" | sed 's/src\/\(.\{1,\}\).c$/\1/') - printf "%s " "${test}" - if ./"${test}" > /dev/null 2>&1; then - printf "\e[1;32mOK\e[m\n" + printf "%s " "${test}" + if ./"${test}" > /dev/null 2>&1; then + printf "\e[1;32mOK\e[m\n" else - printf "\e[1;31mErreur\e[m\n" + printf "\e[1;31mErreur\e[m\n" n=$((n+1)) fi - done + done - if [ "${n}" -ne 0 ]; then + if [ "${n}" -ne 0 ]; then printf "%d errors\n" "${n}" exit 1 fi