From 380677082d389ac502588adaf762f6a40cd882f5 Mon Sep 17 00:00:00 2001 From: jrte Date: Fri, 22 Sep 2023 08:32:36 -0300 Subject: [PATCH] Debug failed CI build - dump Test.map Signed-off-by: jrte --- build.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/build.xml b/build.xml index 40518d4..ca86639 100755 --- a/build.xml +++ b/build.xml @@ -275,6 +275,7 @@ +