added stdc time support
[fw/sdcc] / device / lib / libsdcc.lib
index 8a95b82efe757597e473ae1655508d43e6db5229..31c36e12dc2001e4ccf477597d22cb2e0b1ba315 100644 (file)
@@ -42,3 +42,4 @@ printfl
 printf_large
 vprintf
 assert
+time
\ No newline at end of file