diff options
author | Jonathan Bauer | 2013-06-06 14:21:42 +0200 |
---|---|---|
committer | Jonathan Bauer | 2013-06-06 14:21:42 +0200 |
commit | 71c0ab93841fd3754602c012f940b0628cd14ba7 (patch) | |
tree | 6756dc0f4c0a38d071c61c7aae8b3c9e2ea588f8 /remote/setup_target | |
parent | [kernel] add /proc/config.gz support (diff) | |
download | tm-scripts-71c0ab93841fd3754602c012f940b0628cd14ba7.tar.gz tm-scripts-71c0ab93841fd3754602c012f940b0628cd14ba7.tar.xz tm-scripts-71c0ab93841fd3754602c012f940b0628cd14ba7.zip |
[kernel] also clean .built
Diffstat (limited to 'remote/setup_target')
-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 |