mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
Check for this tools, and set the proper paths on config/Tool.mk. Signed-off-by: Roger Pau Monne <roger.pau@entel.upc.edu> Committed-by: Ian Jackson <ian.jackson.citrix.com> Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>