* disass_printf: Ooops, #ifdef was wrong.
authortwisti <none@none>
Mon, 9 Jan 2006 20:28:03 +0000 (20:28 +0000)
committertwisti <none@none>
Mon, 9 Jan 2006 20:28:03 +0000 (20:28 +0000)
src/vm/jit/disass-common.c

index 8889b892bb4d3b8dde43a49d1878f452d4ab3fd4..480f4905c8fc1fbca78eee60dae5c4c56c9a3b80 100644 (file)
@@ -28,7 +28,7 @@
 
    Changes:
 
-   $Id: disass-common.c 4109 2006-01-09 16:30:12Z twisti $
+   $Id: disass-common.c 4116 2006-01-09 20:28:03Z twisti $
 
 */
 
@@ -71,10 +71,10 @@ void disass_printf(PTR p, const char *fmt, ...)
        va_start(ap, fmt);
 
 #if defined(__I386__) || defined(__X86_64__)
+       disass_len += vsprintf(disass_buf + disass_len, fmt, ap);
+#else
        vprintf(fmt, ap);
        fflush(stdout);
-#else
-       disass_len += vsprintf(disass_buf + disass_len, fmt, ap);
 #endif
 
        va_end(ap);