pikapython/port/linux/pull-core.sh

mirror of https://gitee.com/Lyon1998/pikapython.git synced 2025-01-15 17:02:53 +08:00
if [ -d "../../../pikalab" ]; then
    sh lab-pull.sh
fi
rm -rf package/pikascript/pikascript-core
cp -r ../../src package/pikascript/pikascript-core
update lab filelist 2023-05-22 18:59:28 +08:00			`if [ -d "../../../pikalab" ]; then`
			`sh lab-pull.sh`
			`fi`
Supress error for first run 2022-04-08 12:57:17 +02:00			`rm -rf package/pikascript/pikascript-core`
			`cp -r ../../src package/pikascript/pikascript-core`