Fix INSTALL_DIR check

casouri · Apr 8, 2024 · f5f4fd2 · f5f4fd2
1 parent 0380588
commit f5f4fd2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -174,7 +174,9 @@ else
 fi
 
 ### Copy out
-if [ -z "${INSTALL_DIR+x}" ]; then
+
+# use default dist location if INSTALL_DIR is unset or empty.
+if [ -n "${INSTALL_DIR-}" ]; then
     dist_dir="${INSTALL_DIR}"
 else
     dist_dir="${topdir}/dist"