From fc30187eaa41cbbc64f6e8fbde7b4513042b175d Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Thu, 24 Mar 2022 10:52:51 +1100
Subject: [PATCH] stylefilter: do not check make_spec.sh

This is firmly a bash script and not intended to be portable to other
shells, so no point checking portability.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .stylefilter | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.stylefilter b/.stylefilter
index 268452c6c..b92af0f40 100644
--- a/.stylefilter
+++ b/.stylefilter
@@ -16,3 +16,6 @@
 # separate repositories
 *isabelle/*
 *internal/*
+
+# this is firmly a bash script, no point checking bashisms
+*tools/haskell-translator/make_spec.sh