diff options
| -rwxr-xr-x | remote/setup_target | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/remote/setup_target b/remote/setup_target index 08e31f5d..369cdbac 100755 --- a/remote/setup_target +++ b/remote/setup_target @@ -336,6 +336,9 @@ clean_kernel_module() { if [ -e .fetched_source ]; then rm .fetched_source || perror "Could not delete ${TARGET_DIR}/kernel/.fetched_source" fi + if [ -e .built ]; then + rm .built || perror "Could not delete ${TARGET_DIR}/kernel/.built" + fi if [ -e ksrc ]; then unlink ksrc || perror "Could not unlink ${TARGET_DIR}/kernel/ksrc." fi |