From d8ecbeb24fce86d6fd69225b035477f8699d5231 Mon Sep 17 00:00:00 2001
From: Pavel Pisa <ppisa@pikron.com>
Date: Fri, 13 Sep 2019 22:07:14 +0200
Subject: [PATCH] NuttX: more file types to clean.

Signed-off-by: Pavel Pisa <ppisa@pikron.com>
---
 snippets/nuttx-bin.omk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/snippets/nuttx-bin.omk b/snippets/nuttx-bin.omk
index f77234c..df5216a 100644
--- 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
-- 
2.39.2