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