diff options
-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" } |
index : u16ports | ||
u16 variants of wide character string functions | midipix |
summaryrefslogtreecommitdiffhomepage |
-rwxr-xr-x | configure | 2 |
@@ -462,7 +462,7 @@ config_host() config_status() { printf "\n\n" - make .display + make -j1 .display printf "\nconfiguration completed successfully.\n\n" } |