#77 polish fix

yegor256 · Sep 26, 2023 · 51d3070 · 51d3070
1 parent 487818f
commit 51d3070
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/steps/polish.sh b/steps/polish.sh
@@ -24,6 +24,10 @@ set -e
 set -o pipefail
 
 dir=${TARGET}/github
+if [ ! -e "${dir}" ]; then
+    echo "Nothing to polish, the directory is absent: ${dir}"
+    exit
+fi
 
 repos=$(find "${dir}" -maxdepth 2 -mindepth 2 -type d -exec realpath --relative-to="${dir}" {} \;)
 echo "${repos}" | while read -r repo; do