diff --git a/check-lint b/check-lint index 893719f..9721a2c 100755 --- a/check-lint +++ b/check-lint @@ -1,4 +1,4 @@ -#!/bin/sh -e +#!/bin/bash -e TOOL_NAME=pylint TOOL_CMD="python3 -m $TOOL_NAME"