diff options
| author | ruki <[email protected]> | 2024-12-19 00:51:56 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2024-12-19 00:51:56 +0800 |
| commit | ccc7bfee44c60e90d4ac1f5468b22a7a1ec6d51e (patch) | |
| tree | b98edc27cdfae92dc849dd52f4081ee7f2c710fb /scripts | |
| parent | f83c3cebd987daa9e3aa17a737c8630ab1f3413a (diff) | |
improve get.sh
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index d3bdb7072..052727956 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -223,7 +223,7 @@ if test_nq "$2" "__install_only__"; then ./configure || raise "configure failed!" cd - || raise 'chdir failed!' fi - $make -C $projectdir --no-print-directory || raise "make failed!" + $make -C $projectdir --no-print-directory -j4 || raise "make failed!" fi # do install |