diff options
| -rwxr-xr-x | bin/ptxdist | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index f60767ae6..8d2dea2f3 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -913,6 +913,14 @@ clean() { return fi + if [ ! -n "${PTX_FORCE}${PTXDIST_QUIET}" ]; then + read -e -p "really clean all? [y/N] " r + case "${r}" in + y|Y) ;; + *) exit 1 ;; + esac + fi + echo echo "${PTXDIST_LOG_PROMPT}removing build directories..." for dir in "${BUILDDIR}" "${CROSS_BUILDDIR}" "${KLIBC_BUILDDIR}" "${HOST_BUILDDIR}"; do |