diff options
| author | midipix <writeonce@midipix.org> | 2020-01-05 10:02:29 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2020-01-05 10:03:04 +0000 |
| commit | 5fb393849ec5551647a5309332e38160456eb556 (patch) | |
| tree | c36237a0c91dfd81efb63eb8d373f73ab3992278 /configure | |
| parent | 3672c94079e0f45f4c3647b6af84f538f42ea9c0 (diff) | |
| download | w32lib-5fb393849ec5551647a5309332e38160456eb556.tar.bz2 w32lib-5fb393849ec5551647a5309332e38160456eb556.tar.xz | |
build system: informative output: more pretty printing.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -73,7 +73,7 @@ output_script_status() output_section_break() { - printf '...\n' + printf ' ..\n' } verify_safe_path() |