NuttX: more file types to clean.

Signed-off-by: Pavel Pisa <ppisa@pikron.com>

diff --git a/snippets/nuttx-bin.omk b/snippets/nuttx-bin.omk
index f77234cf5b8d9d07cc1535dccfc106955319fd6a..df5216a3eab1080685df59de4a380921f55985e1 100644 (file)
--- a/snippets/nuttx-bin.omk
+++ b/snippets/nuttx-bin.omk
@@ -60,3 +60,4 @@ library-pass-local: $(kernel_LIBRARIES:%=$(KERN_LIB_DIR)/lib%.ka)
 
 clean-local::
        $(Q)rm -f $(bin_PROGRAMS:%=$(USER_REGISTRY_DIR)/%.*)
+       $(Q)rm -f $(USER_OBJS_DIR)/*.pbo $(USER_OBJS_DIR)/*.ko $(USER_OBJS_DIR)/*.tmp