diff options
Diffstat (limited to 'src/guile')
| -rw-r--r-- | src/guile/skribilo.scm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/guile/skribilo.scm b/src/guile/skribilo.scm index 106fc71..8559de3 100644 --- a/src/guile/skribilo.scm +++ b/src/guile/skribilo.scm @@ -464,10 +464,12 @@ Processes a Skribilo/Skribe source file and produces its output. (setvbuf (*skribilo-output-port*) _IOFBF 16384) - ;; (start-stack 7 (if source-file (with-input-from-file source-file doskribe) - (doskribe)))))))) + (doskribe)) + + ;; Make sure the output port is flushed before we leave. + (force-output (*skribilo-output-port*)))))))) (define main skribilo) |