Modify the openvela build script based on Ubuntu#448

TangMeng12 merged 1 commit intoopen-vela:devopen-vela/docs:devfrom

tanghao-xiaomi:devtanghao-xiaomi/docs:devCopy head branch name to clipboard