tree 452c41ce05aac1f62e9ff240ccc0fd985491a7db
parent 1b77c81cc9caf605271b88e2458dfee5cb5804d3
author Sandrine Bailleux <sandrine.bailleux@arm.com> 1596723516 +0200
committer Sandrine Bailleux <sandrine.bailleux@arm.com> 1597044580 +0000

Fix fetch_file() function

Make sure that the 'sa' variable is defined after the 'saveas' variable,
which it depends on.

Otherwise, invokations of fetch_file() which do not specify any 'saveas'
variable get an empty 'sa' variable. This wasn't a big problem back when
we were using wget to fetch the file but it is now that we've switched
to curl. curl writes its output to stdout by default so it is crucial to
pass it the '-o' option (through the 'sa' variable) to get the desired
behaviour.

Change-Id: I2d8c0bfbf175f0fb64b61195c5e3cb09ac573f27
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>