Extended make.sh

This commit is contained in:
Thomas Kolb 2019-09-19 00:20:44 +02:00
parent 718cf6366e
commit 9107ccc7c0
1 changed files with 2 additions and 1 deletions

View File

@ -4,7 +4,8 @@ set -e
mkdir -p build mkdir -p build
cd build cd build
cmake .. #cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo ..
cmake -DCMAKE_BUILD_TYPE=Release ..
make -j4 make -j4
if [ "$1" == "install" ]; then if [ "$1" == "install" ]; then