don't know why yet, but must update PSW in ClockIrqHandler

[fw/sdcc] / device / lib / time.c

diff --git a/device/lib/time.c b/device/lib/time.c
index dcdb09f6630a08bb6530bca3d01fed14c4e0aba8..88ce4c66b5260a03594c57bb72958cc74642fcec 100755 (executable)
--- a/device/lib/time.c
+++ b/device/lib/time.c
@@ -39,6 +39,7 @@
 #ifndef HAVE_RTC
 unsigned char RtcRead(struct tm *timeptr) {
   // no real time hardware 
+  timeptr; // hush the compiler
   return 0;
 }
 #endif