Merge branch 'master' of git.a-lec.org:a-lec/commissions/infrastructure/www

This commit is contained in:
Christian P. MOMON 2022-08-14 01:48:36 +02:00
commit de67688d49
1 changed files with 1 additions and 1 deletions

View File

@ -31,7 +31,7 @@ synchro-et-tests:
do do
echo "Test de $file" echo "Test de $file"
stl log clean stl log clean
stl check $file | grep -e "Err" -e "erreur de" -e "Aucun fichier" && errors=$((errors+1)) # error if err is read in standard output stl check -F $file | grep -e "Err" -e "erreur de" -e "Aucun fichier" && errors=$((errors+1)) # error if err is read in standard output
done done
[ $errors -gt 0 ] && false [ $errors -gt 0 ] && false
for file in $files for file in $files