From 08b019060deb0295e17de8cbc8e03995dec3dbd0 Mon Sep 17 00:00:00 2001 From: Adrian Stanea Date: Thu, 7 Nov 2024 15:11:12 +0200 Subject: [PATCH] TEST: filter unhandled extensions Signed-off-by: Adrian Stanea --- tools/exclude_list.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/exclude_list.sh b/tools/exclude_list.sh index eefab79fd..c510a2950 100644 --- a/tools/exclude_list.sh +++ b/tools/exclude_list.sh @@ -67,6 +67,12 @@ OMIT_FILES_LIST=( \*.bin \*.xml \*.cmakein + # Unicorn files + \*.build + \*.git + \*.gitrepo + \*.mat + \*.user ) OMIT_FILES_LIST=("${OMIT_FILES_LIST[@]/#/*\/}") GITINORE_FILES_LIST=(