diff options
| -rwxr-xr-x | bin/ptxdist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 782b40c8b..82bb90474 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1343,6 +1343,9 @@ setup_layers() while [ -e "${layer}" -o -h "${layer}" ]; do if [ ! -d "${layer}" ]; then + if [ -n "${PTXDIST_AUTOVERSION}" ]; then + break + fi echo echo "${PTXDIST_LOG_PROMPT}error: Layer '${layer}' is not a directory!" echo |