From ec1cadaefaae5c59629ce41817fb9eead833b727 Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Fri, 16 Aug 2019 04:17:19 +0200
Subject: [PATCH] feat: Add script to generate tags file

Signed-off-by: Rahix <rahix@rahix.de>
---
 .gitignore             |  1 +
 tools/generate-tags.sh | 12 ++++++++++++
 2 files changed, 13 insertions(+)
 create mode 100755 tools/generate-tags.sh

diff --git a/.gitignore b/.gitignore
index 7ca9401e..1c25d3a0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ __pycache__/
 .*.swp
 *~
 compile_commands.json
+/tags
diff --git a/tools/generate-tags.sh b/tools/generate-tags.sh
new file mode 100755
index 00000000..a8347caa
--- /dev/null
+++ b/tools/generate-tags.sh
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -e
+
+source_dir="$(dirname "$0")/.."
+
+find "$source_dir" -name '*.[ch]' \
+    | grep -v "$source_dir/lib/sdk/Libraries/FreeRTOS" \
+    | grep -v "$source_dir/lib/FreeRTOS-Plus" \
+    | grep -v "$source_dir/lib/micropython/micropython/ports" \
+    | grep -v "$source_dir/lib/micropython/micropython/lib/cmsis" \
+    | grep -v "$source_dir/hw-tests/upy-minimal" \
+    | xargs -d\\n ctags
-- 
GitLab