use ninja instead of make

port/linux/ci_benchmark_times.sh

@@ -1,4 +1,4 @@
-cd Release && make -j
+cd Release && ninja -j8
 cd ..
 
 RUN_TIMES=$1

port/linux/init.sh

@@ -16,14 +16,14 @@ rm build -rf
 mkdir build
 sh api-make.sh
 cd build
-cmake -DCMAKE_BUILD_TYPE=Debug ..
+cmake -G Ninja -DCMAKE_BUILD_TYPE=Debug ..
 
 cd $ROOT
 rm Release -rf
 mkdir Release
 cd Release 
-cmake -DCMAKE_BUILD_TYPE=Release -DPIKA_CONFIG_ENABLE=ON ..
-make -j
+cmake -G Ninja -DCMAKE_BUILD_TYPE=Release -DPIKA_CONFIG_ENABLE=ON ..
+ninja -j0
 
 cd $ROOT
 sh make.sh

port/linux/make.sh

@@ -1,3 +1,3 @@
 sh api-make.sh
 cd build
-make -j
+ninja -j0