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 | 53dcc49e5d8f91a6320ba02c164152d675f5cdfa (patch) | |
| tree | 0eb7123e1dff91a29d717c0e03668d587afe64d1 /configure | |
| parent | 3f14ab9e6daa6631b25c815f0d9c164b6df27427 (diff) | |
| download | u16ports-53dcc49e5d8f91a6320ba02c164152d675f5cdfa.tar.bz2 u16ports-53dcc49e5d8f91a6320ba02c164152d675f5cdfa.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() |