2022-04-19 18:30:24 +08:00
|
|
|
if [ $# != 1 ] ; then
|
|
|
|
|
echo "USAGE: $0 [pkg name]"
|
|
|
|
|
echo " e.g.: $0 ctypes"
|
|
|
|
|
exit 1;
|
|
|
|
|
fi
|
2021-12-13 22:16:50 +08:00
|
|
|
pkg=$1
|
2022-04-07 22:57:59 +08:00
|
|
|
cp package/pikascript/pikascript-lib/$pkg ../../package/ -r
|
2022-07-04 17:59:59 +08:00
|
|
|
cp package/pikascript/$pkg.pyi ../../package/$pkg/ -f
|
|
|
|
|
cp package/pikascript/$pkg.py ../../package/$pkg/ -f
|
|
|
|
|
|
2022-04-07 22:57:59 +08:00
|
|
|
git add package/pikascript/pikascript-lib/$pkg
|
2022-07-04 17:59:59 +08:00
|
|
|
git add package/pikascript/$pkg.pyi -f
|
|
|
|
|
git add package/pikascript/$pkg.py -f
|
|
|
|
|
|
2022-04-07 22:57:59 +08:00
|
|
|
git add ../../package/$pkg
|
