diff options
-rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 4153a8964..d0d381481 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1339,7 +1339,7 @@ setup_layers() while [ -e "${layer}" -o -h "${layer}" ]; do if [ ! -d "${layer}" ]; then echo - echo "${PTXDIST_LOG_PROMPT}error: Layer '${layer}' does not exist!" + echo "${PTXDIST_LOG_PROMPT}error: Layer '${layer}' is not a directory!" echo exit 1 fi |