From 7d75570c12842f61e688103b88d9b098f532c2da Mon Sep 17 00:00:00 2001 From: William Casarin Date: Mon, 25 Dec 2023 10:45:51 -0800 Subject: [PATCH] make: fix tags --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d6c4269..6c62f05 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ tags: fake - find src -name '*.rs' | xargs ctags + find . -type d -name target -prune -o -type f -name '*.rs' -print | xargs ctags .PHONY: fake