diff options
Diffstat (limited to 'remote/setup_target')
| -rwxr-xr-x | remote/setup_target | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/remote/setup_target b/remote/setup_target index 21831fde..9ae948ab 100755 --- a/remote/setup_target +++ b/remote/setup_target @@ -524,8 +524,8 @@ clean_kernel_module() { [ "x$USER_INPUT" == "xy" ] && CLEAN=1 fi - pinfo "Cleaning kernel module (including sources and compiled stuff)." if [[ $CLEAN == 1 ]]; then + pinfo "Cleaning kernel module (including sources and compiled stuff)." cd "${TARGET_DIR}/kernel" || perror "Could not cd to ${TARGET_DIR}/kernel" if [ -e build ]; then rm -rf build || perror "Could not delete ${TARGET_DIR}/kernel/build" @@ -549,10 +549,10 @@ clean_kernel_module() { if [ -L ksrc ]; then unlink ksrc || perror "Could not unlink ${TARGET_DIR}/kernel/ksrc." fi + pinfo "Done cleaning kernel." else pinfo "Not confirmed, not cleaning kernel module." fi - pinfo "Done cleaning kernel." } # Recursively strip binaries and libraries in the given directory |