diff options
| author | midipix <writeonce@midipix.org> | 2019-10-20 15:47:34 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2019-10-20 16:11:22 +0000 |
| commit | 4bb32033249c5e13153cccf72219ad99148a29ad (patch) | |
| tree | 8d35a61a61162ae4a60cd864851678d12f74d2a9 | |
| parent | 5ca30b9d4a95fb640c4f67f75b44a98bc0052e9e (diff) | |
| download | w32lib-4bb32033249c5e13153cccf72219ad99148a29ad.tar.bz2 w32lib-4bb32033249c5e13153cccf72219ad99148a29ad.tar.xz | |
build system: configure: config_status(): ensure consistent output.
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -462,7 +462,7 @@ config_host() config_status() { printf "\n\n" - make .display + make -j1 .display printf "\nconfiguration completed successfully.\n\n" } |