mki-copy-our2out: MKI_OUTNAME may be empty

Signed-off-by: Alexey Gladkov <gladkov.alexey@gmail.com>
legionus · Aug 9, 2023 · 6434a06 · 6434a06
1 parent 6fa62cf
commit 6434a06
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/mki-copy-our2out b/tools/mki-copy-our2out
@@ -5,12 +5,13 @@
 # shellcheck source=tools/mki-sh-functions
 . "${0%/*}"/mki-sh-functions
 
+MKI_OUTNAME="${MKI_OUTNAME:-}"
 cleanup="${CLEANUP_OUTDIR:-}"
 subprofile="${SUBPROFILE:-0}"
 
 verbose "has started executing."
 
-if [ "${MKI_OUTNAME:?}" != "${MKI_OUTNAME##*/}" ]; then
+if [ "$MKI_OUTNAME" != "${MKI_OUTNAME##*/}" ]; then
 	outdir="$(readlink -ev "${MKI_OUTNAME%/*}")"
 	cleanup=
 fi