1#!/usr/bin/env 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