diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/ptxdist | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 50df432a6..a32573f62 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -501,7 +501,6 @@ check_dirs() { for dir in \ "${BUILDDIR}" \ "${CROSS_BUILDDIR}" \ - "${KLIBC_BUILDDIR}" \ "${HOST_BUILDDIR}" \ "${STATEDIR}" \ "${IMAGEDIR}" \ @@ -518,7 +517,6 @@ check_dirs() { for dir in \ "${BUILDDIR}" \ "${CROSS_BUILDDIR}" \ - "${KLIBC_BUILDDIR}" \ "${HOST_BUILDDIR}" \ ; do local testfile_lower="${dir}/.secret-world-domination-project" @@ -1115,7 +1113,7 @@ clean() { echo echo "${PTXDIST_LOG_PROMPT}removing build directories..." - for dir in "${BUILDDIR}" "${CROSS_BUILDDIR}" "${KLIBC_BUILDDIR}" "${HOST_BUILDDIR}"; do + for dir in "${BUILDDIR}" "${CROSS_BUILDDIR}" "${HOST_BUILDDIR}"; do if [ ! -d "${dir}" ]; then continue fi |