From 56eac1f96ad8cafecbd4ff5508f8631d69d14091 Mon Sep 17 00:00:00 2001 From: pikastech Date: Sun, 31 Jul 2022 11:21:09 +0800 Subject: [PATCH] fix make.sh --- port/linux/make.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/port/linux/make.sh b/port/linux/make.sh index 6df563f99..48320296e 100644 --- a/port/linux/make.sh +++ b/port/linux/make.sh @@ -1,4 +1,3 @@ -cp config/pika_config_void.h config/pika_config.h sh api-make.sh sh only_make.sh cp ./build/boot/demo06-pikamain/pikascript_demo06-pikamain package/pikascript/pika