diff options
| -rw-r--r-- | src/grt/grt-options.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 943ff9626..78c25c17a 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -162,6 +162,8 @@ package body Grt.Options is P (" --stop-delta=X stop the simulation cycle after X delta"); P (" --expect-failure invert exit status"); P (" --no-run do not simulate, only elaborate"); + P (" --unbuffered disable buffering on stdout, stderr and"); + P (" files opened in write or append mode (TEXTIO)."); -- P (" --threads=N use N threads for simulation"); P ("Additional features:"); P (" --has-feature=X test presence of feature X"); |