From 1865046a1ffd100c076e68bf9f400f025170af5d Mon Sep 17 00:00:00 2001
From: Michael Droettboom <mdboom@gmail.com>
Date: Mon, 8 Oct 2018 13:18:28 -0400
Subject: [PATCH] Simplify make lint

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 9eed7b135..8e5ca9e55 100644
--- a/Makefile
+++ b/Makefile
@@ -118,8 +118,7 @@ test: all
 
 
 lint:
-	flake8 src test tools pyodide_build benchmark/benchmark.py benchmark/plot_benchmark.py \
-		benchmark/benchmarks/
+	flake8 src test tools pyodide_build benchmark
 	clang-format -output-replacements-xml src/*.c src/*.h src/*.js | (! grep '<replacement ')