fvp_utils.sh: create an empty bl32_extra2.bin file representing tee-pageable_v2.bin
There is no need to fetch 'tee-pageable_v2.bin': this is just an empty
file, named as 'bl32_extra2.bin'.
Change-Id: I0c772acd83a5172272da2a0c4deb01ad35ccf427
diff --git a/fvp_utils.sh b/fvp_utils.sh
index c440181..aa637de 100644
--- a/fvp_utils.sh
+++ b/fvp_utils.sh
@@ -130,8 +130,9 @@
saveas="bl32_extra1.bin" fetch_file
archive_file "bl32_extra1.bin"
- url="$tfa_downloads/ftpm/optee/tee-pageable_v2.bin" \
- saveas="bl32_extra2.bin" fetch_file
+ # tee-pageable_v2.bin is just a empty file, named as bl32_extra2.bin,
+ # so just create the file
+ touch "bl32_extra2.bin"
archive_file "bl32_extra2.bin"
}