diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2016-07-03 16:33:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-03 16:33:05 +0200 |
| commit | 20c32c5363f53fd009ed31e0c4b3ef4222b9fda7 (patch) | |
| tree | 299256d8593a329d91337630cf5b56fd7c490162 | |
| parent | 68857607804f4c279236f62c3ba7382ea1e146d1 (diff) | |
| parent | d90405c081889bc38f274757b2abc9a7a8aeff4b (diff) | |
| download | ghdl-20c32c5363f53fd009ed31e0c4b3ef4222b9fda7.tar.gz ghdl-20c32c5363f53fd009ed31e0c4b3ef4222b9fda7.tar.bz2 ghdl-20c32c5363f53fd009ed31e0c4b3ef4222b9fda7.zip | |
Merge pull request #113 from Jonsba/jonsba/master
Add a description for the unbuffered option in ghdl -r <exec> --help.
| -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"); |