diff --git a/pylint b/pylint deleted file mode 100755 index 619f28ee0f..0000000000 --- a/pylint +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh -# Copyright (c) 2012 The Chromium Authors. All rights reserved. -# Use of this source code is governed by a BSD-style license that can be -# found in the LICENSE file. - -# pylint -- a shell wrapper for pylint. - -base_dir=$(dirname "$0") -PYTHONDONTWRITEBYTECODE=1 exec "$base_dir/pylint-1.5" "$@" diff --git a/pylint.bat b/pylint.bat deleted file mode 100644 index 0ffc277bfc..0000000000 --- a/pylint.bat +++ /dev/null @@ -1,12 +0,0 @@ -@echo off -:: Copyright 2019 The Chromium Authors. All rights reserved. -:: Use of this source code is governed by a BSD-style license that can be -:: found in the LICENSE file. -setlocal - -:: Ensure that "depot_tools" is somewhere in PATH so this tool can be used -:: standalone, but allow other PATH manipulations to take priority. -set PATH=%PATH%;%~dp0 - -:: Defer control. -vpython "%~dp0\pylint-1.5" %*