delete libs

Author: Martin Klang

Makefile

@@ -135,7 +135,7 @@ clean: ## remove generated patch files
 	@rm -rf $(BUILD)/*
 
 realclean: clean ## remove all library object files
-	@find Libraries/ -name '*.o' -delete
+	@find Libraries/ -name '*.a' -delete
 
 size: patch ## show binary size metrics and large object summary
 	@$(MAKE) -s -f common.mk size