From 4656a5a9c78767ff2ba6983b37ebce5e227352ea Mon Sep 17 00:00:00 2001
From: Fabio Utzig <utzig@apache.org>
Date: Thu, 12 Mar 2020 10:33:25 -0300
Subject: [PATCH] Add style ignored dirs

Signed-off-by: Fabio Utzig <utzig@apache.org>
---
 .style_ignored_dirs | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 .style_ignored_dirs

diff --git a/.style_ignored_dirs b/.style_ignored_dirs
new file mode 100644
index 000000000..4be8efa05
--- /dev/null
+++ b/.style_ignored_dirs
@@ -0,0 +1,4 @@
+# Skip those directories while doing style checks in the CI. Do not add '/' at
+# the beginning!
+
+ext/tinycrypt