diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-11-28 13:40:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-28 13:40:04 +0100 |
| commit | c397dfca033c2212abdd012a28c562cc3eaa942c (patch) | |
| tree | b19a7369b4dd12e7f857e9b02604d1e5369fb7ff /doc | |
| parent | dd1640eed606e21c09c4028dfa8aaeb1a071c6cf (diff) | |
| download | patches-c397dfca033c2212abdd012a28c562cc3eaa942c.tar patches-c397dfca033c2212abdd012a28c562cc3eaa942c.tar.gz | |
build: Explicitly flush the "LOAD" and "GUILEC" lines.
* build-aux/compile-all.scm <top level>: Add calls to 'force-output'
in the #:report-load and #:report-compilation procedures. Fixes a
regression introduced in 2890ad332fcdfd4bc92b127d783975437c8b718b
whereby compilation output would be buffered, leading to a weird
visual effect.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions