Improve lint-theme

This commit is contained in:
William Desportes
2023-01-01 11:59:44 +04:00
parent 7d71b77cad
commit af4f39abd4
+1 -1
View File
@@ -39,7 +39,7 @@ fi
if [ "x$1" = "x--all" ] ; then
EXIT_CODE=0
for dir in `find . -mindepth 1 -maxdepth 1 -type d` ; do
for dir in `find . -mindepth 1 -maxdepth 1 -type d -not -name archived -not -name '.*'` ; do
do_lint $dir
if [ $? -ne 0 ] ; then
EXIT_CODE=1