diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/system.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/system.ml b/lib/system.ml index 37a102d40b..20f5f0ced2 100644 --- a/lib/system.ml +++ b/lib/system.ml @@ -56,6 +56,7 @@ let safe_getenv_def var def = Sys.getenv var with Not_found -> warning ("Environnement variable "^var^" not found: using '"^def^"' ."); + flush Pervasives.stdout; def let home = (safe_getenv_def "HOME" ".") |