diff --git a/port/linux/pull-core.sh b/port/linux/pull-core.sh new file mode 100644 index 000000000..7699f5b0c --- /dev/null +++ b/port/linux/pull-core.sh @@ -0,0 +1 @@ +cp ../../src/* package/pikascript/pikascript-core diff --git a/port/linux/push-core.sh b/port/linux/push-core.sh new file mode 100644 index 000000000..bc66ddf6c --- /dev/null +++ b/port/linux/push-core.sh @@ -0,0 +1 @@ +cp package/pikascript/pikascript-core/* ../../src