1#!/bin/bash 2# 3# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 4# 5# SPDX-License-Identifier: BSD-2-Clause 6# 7 8python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py') 9if [[ -z $python_sources ]]; then 10 echo "Unable to find python source files" 11 exit 1 12fi 13pylintrc=$(find . -name 'pylintrc') 14if [[ -z $pylintrc ]]; then 15 echo "Unable to find pylintrc" 16 exit 1 17fi 18 19pylint --errors-only --rcfile=${pylintrc} ${python_sources} 20