adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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>
This commit is contained in:
Gerwin Klein 2022-03-24 10:52:51 +11:00 committed by Gerwin Klein
parent 715212dd41
commit fc30187eaa
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.stylefilter
View File

@ -16,3 +16,6 @@
# separate repositories
*isabelle/*
*internal/*
# this is firmly a bash script, no point checking bashisms
*tools/haskell-translator/make_spec.sh