fix toolkit

This commit is contained in:
砼砼 2022-04-10 00:59:30 +08:00
parent 25243152a1
commit 66cc9646bd
No known key found for this signature in database
GPG Key ID: 3FDE30A50EA2CCEA
2 changed files with 5 additions and 1 deletions

View File

@ -90,7 +90,7 @@ jobs:
if: matrix.platform == 'dva3221'
run: |
echo '等待整理兼容性扩展~😀'
/redpill_tool_chain.sh add https://github.com/pocopico/redpill-load/raw/develop/redpill-boot-wait/rpext-index.json
./redpill_tool_chain.sh add https://github.com/pocopico/redpill-load/raw/develop/redpill-boot-wait/rpext-index.json
- name: 添加 Misc shell
run: |

View File

@ -313,6 +313,10 @@ if [[ "${ACTION}" != "del" && "${ACTION}" != "add" && "${ACTION}" != "sn" && "${
EXTRACTED_KSRC="/linux*"
if [ "${COMPILE_WITH}" == "toolkit_dev" ]; then
# TODO: fix: wait new toolkit
if [ "${DSM_VERSION}" == "7.1" ]; then
DSM_VERSION="7.0"
fi
EXTRACTED_KSRC="/usr/local/x86_64-pc-linux-gnu/x86_64-pc-linux-gnu/sys-root/usr/lib/modules/DSM-${DSM_VERSION}/build/"
fi
else