added stdc time support

[fw/sdcc] / device / lib / libsdcc.lib

diff --git a/device/lib/libsdcc.lib b/device/lib/libsdcc.lib
index 8a95b82efe757597e473ae1655508d43e6db5229..31c36e12dc2001e4ccf477597d22cb2e0b1ba315 100644 (file)
--- a/device/lib/libsdcc.lib
+++ b/device/lib/libsdcc.lib
@@ -42,3 +42,4 @@ printfl
 printf_large
 vprintf
 assert
+time
\ No newline at end of file