2 files changed, 1 insertions, 4 deletions

diff --git a/.gitignore b/.gitignore
index ca6dfcd..15342f0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -86,6 +86,7 @@ build/gprof.txt
 build/gprof.dot
 build/gmon.out
 build/out.txt
+build/run
 
 # debian
 debian/*
diff --git a/build/run b/build/run
deleted file mode 100755
index 17c9955..0000000
--- a/build/run
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-
-../run/bin/mplint >out.txt
-