diff options
-rw-r--r-- | lang/logo/files/patch-ad | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/logo/files/patch-ad b/lang/logo/files/patch-ad new file mode 100644 index 000000000000..059185dc11d4 --- /dev/null +++ b/lang/logo/files/patch-ad @@ -0,0 +1,11 @@ +--- init.c.orig Sun Aug 6 21:20:35 2000 ++++ init.c Sun Aug 6 21:20:50 2000 +@@ -363,7 +363,7 @@ + } + + void init(void) { +- extern long time(); ++ extern time_t time(); + int i = 0; + NODE *proc = NIL, *pname = NIL, *cnd = NIL; + |