include printf by default

diff --git a/tos/platforms/mulle/.platform b/tos/platforms/mulle/.platform
index b912ac0cbef6840e7394b18cc1abda3f37c117b7..eb04440ca48ca61005bb5701c4327fa1c667a06f 100755 (executable)
--- a/tos/platforms/mulle/.platform
+++ b/tos/platforms/mulle/.platform
@@ -32,6 +32,7 @@ push( @includes, qw(
   %T/lib/timer
   %T/lib/serial
   %T/lib/diagmsg
+  %T/lib/printf
 ) );
 
 @opts = qw(