diff options
author | Fathi Boudra <fathi.boudra@linaro.org> | 2017-05-12 11:46:46 +0300 |
---|---|---|
committer | Fathi Boudra <fathi.boudra@linaro.org> | 2017-05-12 08:48:29 +0000 |
commit | ca9111bbd9effca3e43fb87c4841c7a435029c1b (patch) | |
tree | fbf0bb5a51e8cc21654b2cb9b2ea768f81706786 /optee | |
parent | 5d289d66cfa8dfff4455971dfda7b3482e3a0f39 (diff) |
optee-build: remove grub workaround
Fixed upstream by using grub 2.02 tag.
Change-Id: I341ffc56410d16b393090ff72cc866cb97b7004e
Signed-off-by: Fathi Boudra <fathi.boudra@linaro.org>
Diffstat (limited to 'optee')
-rwxr-xr-x | optee/build/builders.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/optee/build/builders.sh b/optee/build/builders.sh index d4ad3fd9..de78289d 100755 --- a/optee/build/builders.sh +++ b/optee/build/builders.sh @@ -55,13 +55,6 @@ for repo_proj in ${supported_platforms}; do (cd ${JENKINS_WORKSPACE}/${repo_proj} && repo init -u https://github.com/OP-TEE/manifest.git -m ${repo_proj}.xml < /dev/null && repo sync --no-clone-bundle --no-tags --quiet -j$(nproc)) - # FIXME grub master fails to build - # grub-mkimage: error: undefined symbol grub_arch_sync_dma_caches - # Fetch a known working grub commit revision from the stable manifests - if [ "${repo_proj}" == "hikey" ]; then - (cd ${JENKINS_WORKSPACE}/${repo_proj}/grub && git checkout 007f0b407f72314ec832d77e15b83ea40b160037) - fi - # Fetch a local copy of dtc+libfdt to avoid issues with a possibly outdated libfdt-dev # DTC (libfdt) version >= 1.4.2 is required if [ "${repo_proj}" == "qemu_v8" ]; then |