Merge remote-tracking branch 'origin/dev' into HEAD

thiagomacieira · thiagomacieira · commit ed68cdae5f55 · 2017-12-17T23:48:22.000-08:00
diff --git a/Makefile b/Makefile
@@ -182,6 +182,7 @@ uninstall:
 
 mostlyclean:
 	$(RM) $(TINYCBOR_SOURCES:.c=.o)
+	$(RM) $(TINYCBOR_SOURCES:.c=.pic.o)
 	$(RM) $(CBORDUMP_SOURCES:.c=.o)
 
 clean: mostlyclean
