From 3a2e9dc49faa1a23ced4ac4a08df34a8fe6d6a1b Mon Sep 17 00:00:00 2001
From: lyon <catgit.@catgit.com>
Date: Tue, 5 Oct 2021 15:11:14 +0800
Subject: [PATCH] add push-core and pull-core

---
 port/linux/pull-core.sh | 1 +
 port/linux/push-core.sh | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 port/linux/pull-core.sh
 create mode 100644 port/linux/push-core.sh

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