pikapython/port/linux/make.sh

mirror of https://gitee.com/Lyon1998/pikapython.git synced 2025-01-15 17:02:53 +08:00
sh api-make.sh
cp config/pika_config_benchmark.h config/pika_config.h 
cd build
ninja -j0
add api-make to make.sh 2021-08-23 14:16:49 +08:00			`sh api-make.sh`
fix make.sh 2022-04-14 23:19:55 +08:00			`cp config/pika_config_benchmark.h config/pika_config.h`
add init.sh and make.sh to quick make 2021-08-21 16:55:09 +08:00			`cd build`
use ninja instead of make 2022-04-08 11:25:23 +08:00			`ninja -j0`