diff options
Diffstat (limited to 'cad/mars/files/patch-05')
| -rw-r--r-- | cad/mars/files/patch-05 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/cad/mars/files/patch-05 b/cad/mars/files/patch-05 new file mode 100644 index 000000000000..2ab0dd56b91f --- /dev/null +++ b/cad/mars/files/patch-05 @@ -0,0 +1,14 @@ +--- sim/log.c.orig Tue Oct 6 20:52:51 1992 ++++ sim/log.c Mon Nov 18 21:18:07 1996 +@@ -80,7 +80,11 @@ + /* Add the time */ + fprintf(l, "%d ", ev_now()); + va_start(p); ++#ifdef __FreeBSD__ ++ vfprintf(l, format, p); ++#else + _doprnt(format, p, l); ++#endif + va_end(p); + fputs("\n\0", l); + fflush(l); |
