Home
last modified time | relevance | path

Searched full:linter_options (Results 1 – 2 of 2) sorted by relevance

/petsc/
H A D.gitlab-ci.yml947 - make LINTER_OPTIONS="${LINTER_OPTIONS}" test-lint
948 - make V=3 LINTER_OPTIONS="${LINTER_OPTIONS} -- ./src" lint
951LINTER_OPTIONS: "--PETSC_ARCH=${TEST_ARCH} --clang_lib=`llvm-config-14 --libdir`/libclang.so.1 --w…
/petsc/lib/petsc/conf/
H A Drules_util.mk213 …etsc/bin/maint/petsclinter --verbose=${V} --apply-patches=${REPLACE} $(LINTER_OPTIONS) ${DIRECTORY}
223 -@echo " LINTER_OPTIONS=\"--opt1 --opt2 ...\" See above for available options"
252 …DIR}/src/sys/tests/linter --test -j0 --werror --replace=${REPLACE} --verbose=${V} $(LINTER_OPTIONS)