]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commitdiff
projects / people / pauldu / mini-os.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: deb2b37)
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)
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 patch | blob | blame | history

diff --git a/Makefile b/Makefile
index a8ae67c683c7cbf0ad18b1fba7a78b60ed09826f..43dcbd68416603aa448fbb6e34c7c13e8877970c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -190,3 +190,7 @@ tags:
 .PHONY: TAGS
 TAGS:
        $(all_sources) | xargs etags
+
+.PHONY: gtags
+gtags:
+       $(all_sources) | gtags -f -
Unnamed repository; edit this file 'description' to name the repository.