Sorry for the typos, anyway I'm sending corrected title and message in new
thread.
Closing this one
Mauro
2017-12-18 0:20 GMT+01:00 Mauro Rossi :
> Hi, minor self-review and correction the needed header is
> "xmlpool/options.h"
> Only changes needed are in the commit title ...
>
> 2017-12-18 0:1
Hi, minor self-review and correction the needed header is
"xmlpool/options.h"
Only changes needed are in the commit title ...
2017-12-18 0:11 GMT+01:00 Mauro Rossi :
> target.c requires "xmlpool/options.h" generated header
>
...and here
target.c requires "util/options.h" generated header
> or
target.c requires "util/options.h" generated header
or the following tricky Android building error may appear:
In file included from external/mesa/src/gallium/targets/dri/target.c:1:
In file included from
external/mesa/src/gallium/auxiliary/target-helpers/drm_helper.h:185:
out/target/product/x86_
