Allow to overwrite the license servers
The 'license_path_list' variable used to be an empty array. Make it
overwritable so that we can specify a list of license servers on the
command line or through some environment specific file.
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
Change-Id: I2ea8b56f5388b99528923a40f38eb191fcab34ca
diff --git a/utils.sh b/utils.sh
index ffbbda9..9d260eb 100644
--- a/utils.sh
+++ b/utils.sh
@@ -327,8 +327,8 @@
ld_library_path_list=(
)
-license_path_list=(
-)
+license_path_list=${license_path_list-(
+)}
# Setup various paths
if upon "$retain_paths"; then