diff options
-rwxr-xr-x | platforms-wget.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platforms-wget.sh b/platforms-wget.sh index 711e195..a33e38f 100755 --- a/platforms-wget.sh +++ b/platforms-wget.sh @@ -14,6 +14,9 @@ num=$1 mkdir $num pushd $num files=( + fvp32-latest-busybox-uboot.zip + fvp32-lsk-busybox-uboot.zip + fvp32-latest-oe-uboot.zip fvp-latest-busybox-uboot.zip fvp-lsk-busybox-uboot.zip fvp-latest-oe-debug.tar.xz |