]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
projects / people / pauldu / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: deb2b37) | patch
Makefile: add gtags target
authorWei Liu <wei.liu2@citrix.com>
Mon, 29 Aug 2016 13:01:41 +0000 (14:01 +0100)
committerWei Liu <wei.liu2@citrix.com>
Tue, 30 Aug 2016 08:13:59 +0000 (09:13 +0100)
commitfec48f48687e9ff787d7054f74dd1285abf59e2c
treeba5d72dd3cc53ca272da30bf48bd49739acdd125tree
parentdeb2b37235a99c50727a54afa455f6272f0db456commit | diff
Makefile: add gtags target

Use GNU Global to generate source code index.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Juergen Gross <jgross@suse.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.