-
Notifications
You must be signed in to change notification settings - Fork 4.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
两个基本一样的脚本,一个却运行不通过,求帮助。 #330
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
https://github.com/Azreulo/AutoBuild-OpenWrt/tree/master/.github/workflows
两个脚本,内容基本一样。
Build_Lean编译Lean的源码,Build_OpenWrt增加了多源码选择。
在执行customize.sh时,因为为了适配不同源码,我把所有修改都放进去了,同样都会报Error 2错误,但Lean的脚本能跳过正常编译,OpenWrt脚本却会报Error2退出。
请问应如何修改优化脚本?
The text was updated successfully, but these errors were encountered: