]> xenbits.xensource.com Git - people/liuw/libxenctrl-split/xen.git/commit
projects / people / liuw / libxenctrl-split / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff1d08a) | patch
tools: Add AWK to set of tools checked for by configure
authorIan Campbell <ian.campbell@citrix.com>
Wed, 20 May 2015 14:38:55 +0000 (15:38 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 21 May 2015 14:25:23 +0000 (15:25 +0100)
commita42eac01cbfc08df246a889de0d8aca19d75aca8
treee5c7e1d81d844509b1afa98b25b0a050505169e2tree
parentff1d08ae4812b83010a3cc31476838757b50c248commit | diff
tools: Add AWK to set of tools checked for by configure

We are going to need this to generate the userspace flask.h header.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
[ ijc -- ran autogen.sh ]
config/Tools.mk.in diff | blob | blame | history
tools/configure diff | blob | blame | history
tools/configure.ac diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.