3psoccon.ads, [...]: Files added.

[thirdparty/gcc.git] / gcc / ada / cio.c

diff --git a/gcc/ada/cio.c b/gcc/ada/cio.c
index 50452bc1eff98fdf68aae7ac13b59cae05971d6c..1316455c86a41adb778706106eeafb65b527c576 100644 (file)
--- a/gcc/ada/cio.c
+++ b/gcc/ada/cio.c
@@ -48,6 +48,7 @@
 #undef getchar
 #undef fputc
 #undef stderr
+#undef stdout
 #endif
 
 int
@@ -73,7 +74,9 @@ void
 put_int (x)
      int x;
 {
-  printf ("%d", x);
+   /* Use fprintf rather than printf, since the latter is unbuffered
+      on vxworks */
+   fprintf (stdout, "%d", x);
 }
 
 void