diff options
Diffstat (limited to 'src/grt/grt-options.adb')
-rw-r--r-- | src/grt/grt-options.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 81fa962f0..943ff9626 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -25,6 +25,7 @@ with Interfaces; use Interfaces; with Grt.Strings; use Grt.Strings; with Grt.Errors; use Grt.Errors; +with Grt.Stdio; use Grt.Stdio; with Grt.Astdio; with Grt.Hooks; @@ -477,6 +478,10 @@ package body Grt.Options is end if; Last_Generic_Override := Over; end; + elsif Option = "--unbuffered" then + Unbuffered_Writes := True; + setbuf (stdout, NULL_voids); + setbuf (stderr, NULL_voids); elsif not Grt.Hooks.Call_Option_Hooks (Option) then Error_C ("unknown option '"); Error_C (Option); |