Thanks, this is great. OK to push.
On 28/9/20 2:18 pm, Sebastian Huber wrote:
> Update #3818.
> ---
> wscript | 4
> 1 file changed, 4 insertions(+)
>
> diff --git a/wscript b/wscript
> index 6280afa6c9..1670acf936 100755
> --- a/wscript
> +++ b/wscript
> @@ -1362,7 +1362,11 @@ def configur
Update #3818.
---
wscript | 4
1 file changed, 4 insertions(+)
diff --git a/wscript b/wscript
index 6280afa6c9..1670acf936 100755
--- a/wscript
+++ b/wscript
@@ -1362,7 +1362,11 @@ def configure_variant(conf, cp, bsp_map, path_list,
top_group, variant):
conf.env["BSP_BASE"] = bsp_base
