Print WITH_STDIO if -t options
authorMichael Meissner <gnu@the-meissners.org>
Fri, 29 Mar 1996 18:06:42 +0000 (18:06 +0000)
committerMichael Meissner <gnu@the-meissners.org>
Fri, 29 Mar 1996 18:06:42 +0000 (18:06 +0000)
sim/ppc/ChangeLog

index 7039829..780ef0f 100644 (file)
@@ -1,5 +1,7 @@
 Fri Mar 29 12:17:58 1996  Michael Meissner  <meissner@tiktok.cygnus.com>
 
+       * options.c (print_options): Print out WITH_STDIO.
+
        * Makefile.in (STDIO_CFLAGS): Pass on result of @sim_stdio@
        configuration variable.
        (CONFIG_CFLAGS): Include STDIO_CFLAGS.