2023-05-23 16:09:37 +08:00
|
|
|
if [ -d "../../../pikalab" ]; then
|
|
|
|
|
sh do_build.sh
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ ! -d "../../../pikalab" ]; then
|
2023-05-23 16:11:07 +08:00
|
|
|
rm rust-msc-latest-linux
|
2023-05-23 16:09:37 +08:00
|
|
|
wget http://pikapython.com/download/rust-msc-latest-linux
|
|
|
|
|
fi
|
