fc30187eaa
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>
22 lines
516 B
Plaintext
22 lines
516 B
Plaintext
#
|
|
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
#
|
|
|
|
# We start every pattern with *, because the paths have to match
|
|
# absolute as well as relative from the repo top.
|
|
|
|
# ignore generated and parse test files
|
|
*camkes/glue-proofs/*.c
|
|
*tools/autocorres/tests/parse-tests/*
|
|
*tools/c-parser/testfiles/*
|
|
*spec/cspec/c/build/*
|
|
|
|
# separate repositories
|
|
*isabelle/*
|
|
*internal/*
|
|
|
|
# this is firmly a bash script, no point checking bashisms
|
|
*tools/haskell-translator/make_spec.sh
|