diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-03-22 17:00:07 +0100 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-03-22 17:00:07 +0100 |
| commit | 3964be811b57fca965b979b7c21f24532a172bd4 (patch) | |
| tree | 9fd26561be8e27f15d69129f6f7257a136888eb5 /compile_release.sh | |
| parent | 0d7852152ee4d46c825c1ee8143c3cb2f46c4d3d (diff) | |
| download | ouroboros-3964be811b57fca965b979b7c21f24532a172bd4.tar.gz ouroboros-3964be811b57fca965b979b7c21f24532a172bd4.zip | |
include: fflush stdout after printing a log msg
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions