From 9f7d1dd547930efeb80a46cc2abe1f0b5c32a889 Mon Sep 17 00:00:00 2001
From: Owen Jacobson <owen@grimoire.ca>
Date: Tue, 22 Dec 2020 18:48:08 -0500
Subject: Rust rewrite.

The Python version was taking hundreds of millis for a small number of
env vars on my machine - enough that starting a new shell was a bit
itchy. The compiled version, even in debug mode, is ~10x faster.
---
 tools/check-lint | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 tools/check-lint

(limited to 'tools/check-lint')

diff --git a/tools/check-lint b/tools/check-lint
deleted file mode 100755
index eaebdf0..0000000
--- a/tools/check-lint
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash -e
-
-cd "$(dirname "$0")/.."
-
-## tools/check-lint
-##
-## Run lint checks on the project, exiting with a zero status if there are no lint
-## issues.
-
-exec pylint envdir
-- 
cgit v1.2.3