blob: 6c7a903a8f0f73aaa5c33ad45d1a400f3b73370b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/bin/bash +x
set -e
# get number of CPU cores
if [ -f /proc/cpuinfo ]; then
CPUS=`grep processor /proc/cpuinfo | wc -l`
else
CPUS=1
fi
# Stackoverflow suggests jobs count of (CPU cores + 1) as a respectively good number!
JOBS=`expr $CPUS + 1`
# run make for all configs
pushd "$(dirname "$0")/../../compiler/linux64-debug-gcc"
make -j$JOBS
popd
pushd "$(dirname "$0")/../../compiler/linux64-release-gcc"
make -j$JOBS
popd
pushd "$(dirname "$0")/../../compiler/linux64-checked-gcc"
make -j$JOBS
popd
pushd "$(dirname "$0")/../../compiler/linux64-profile-gcc"
make -j$JOBS
popd
|