projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9163062) | patch
tools/check: check for headers and libraries in user defined folders.
authorRoger Pau Monne <roger.pau@entel.upc.edu>
Mon, 14 Nov 2011 18:17:44 +0000 (18:17 +0000)
committerRoger Pau Monne <roger.pau@entel.upc.edu>
Mon, 14 Nov 2011 18:17:44 +0000 (18:17 +0000)
commit8698d6d56bc56ba0daabab40497d04e85ea05937
treef6ccf8f3f9592675f810a9691106741bca4de365tree | snapshot
parent9163062a39392405ddb306bad0f9425ab7c0002ccommit | diff
tools/check: check for headers and libraries in user defined folders.

Parse EXTRA_INCLUDES, EXTRA_LIB, PREPEND_INCLUDES, PREPEND_LIB,
APPEND_INCLUDES, APPEND_LIB during checks, to search for required
files.

Signed-off-by: Roger Pau Monne <roger.pau@entel.upc.edu>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
Config.mk diff | blob | history
tools/check/Makefile diff | blob | history
tools/check/funcs.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.