2022-04-13 13:23:45 +08:00
|
|
|
pkg=$1
|
|
|
|
cp package/pikascript/pikascript-lib/PikaStdLib ../../package/ -r
|
2022-04-28 15:53:09 +08:00
|
|
|
cp package/pikascript/$pkg.pyi ../../package/PikaStdLib/
|
2022-06-11 14:56:51 +00:00
|
|
|
|
|
|
|
cp package/pikascript/pikascript-lib/PikaStdLib ../../tools/pikaByteCodeGen/pikascript/pikascript-lib -r
|
|
|
|
cp package/pikascript/$pkg.pyi ../../tools/pikaByteCodeGen/pikascript
|
|
|
|
|
2022-04-13 13:23:45 +08:00
|
|
|
git add package/pikascript/pikascript-lib/PikaStdLib
|
2022-04-28 15:53:09 +08:00
|
|
|
git add package/pikascript/$pkg.pyi
|
2022-04-13 13:23:45 +08:00
|
|
|
git add ../../package/PikaStdLib
|