diff options
author | Marvin W <git@larma.de> | 2017-03-12 19:31:02 +0100 |
---|---|---|
committer | Marvin W <git@larma.de> | 2017-03-12 19:41:44 +0100 |
commit | 4f34e431163ac49e2c41079d44c5dd4a71b362d1 (patch) | |
tree | 32c605fb7802e7ef380eafd21ffcde2caa0afbc8 /configure | |
parent | fabd6ff2515b3d904a0f38e1f423d9b09b2ed933 (diff) | |
download | dino-4f34e431163ac49e2c41079d44c5dd4a71b362d1.tar.gz dino-4f34e431163ac49e2c41079d44c5dd4a71b362d1.zip |
Force Make into using a single thread
This also restricts fast-vapi's to Ninja. fast-vapi's improve build
performance when multi-threaded, but are bad when single-threaded.
Again emphasize that ninja-build should be used.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -34,10 +34,9 @@ if ! [ -x "$exec_bin" ]; then make_bin="$(which make 2>/dev/null)" if [ -x "$make_bin" ]; then echo "-- Found Make: $make_bin" - echo "-- Using Ninja (ninja-build) might improve build experience." cmake_type="Unix Makefiles" exec_bin="$make_bin" - exec_command="$exec_bin -j4" + exec_command="$exec_bin" fi fi @@ -95,3 +94,7 @@ default: %: @sh -c "cd build; $exec_command \"\$@\"" EOF + +if [[ "$exec_bin" == "$make_bin" ]]; then + echo "-- Running with make. Using Ninja (ninja-build) might improve build experience." +fi
\ No newline at end of file |