Fix small deploy issue

2022-05-07 10:49:32 +01:00
parent 53497156de
commit 4cc9b9b997
1 changed files with 1 additions and 1 deletions
@@ -19,7 +19,7 @@ cp "${source}" "${DEST}/${sourcebase}"
 # make a code.py
 echo "import ${module}" >"${DEST}/code.py"

-if [ -n "${support_files[*]}" ]; then
+if [ -n "${support_files[*]:-}" ]; then
  for file in "${support_files[@]}"; do
    cp "$file" "${DEST}/$(basename "${file}")"
  done