From 008f60f47bb9be7a456ed754b45ab4bb14ec436c Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Sat, 24 May 2014 15:04:37 +0300 Subject: Add run script into gitignore. --- .gitignore | 1 + build/run | 4 ---- 2 files changed, 1 insertion(+), 4 deletions(-) delete mode 100755 build/run 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 - -- cgit v1.2.3-70-g09d2