mirror of
https://gitee.com/Lyon1998/pikapython.git
synced 2025-01-15 17:02:53 +08:00
6 lines
150 B
Bash
6 lines
150 B
Bash
if [ -d "../../../pikalab" ]; then
|
|
sh lab-pull.sh
|
|
fi
|
|
rm -rf package/pikascript/pikascript-core
|
|
cp -r ../../src package/pikascript/pikascript-core
|