diff --git a/make-ci.sh b/make-ci.sh index 7553e4d..f3fd0b4 100755 --- a/make-ci.sh +++ b/make-ci.sh @@ -18,14 +18,14 @@ cd googletest mkdir build cd build cmake -DBUILD_GMOCK=OFF -DBUILD_GTEST=ON -DBUILD_SHARED_LIBS=ON .. -time make +time make -j2 cd ../.. sudo cp googletest/build/googletest/libg* /usr/local/lib/ sudo cp -r googletest/googletest/include/gtest /usr/local/include # Make redox cmake -Dexamples=ON -Dlib=ON -Dstatic_lib=ON -Dtests=ON .. -time make VERBOSE=1 +time make -j2 VERBOSE=1 # Test redox sudo service redis-server restart