diff options
| author | Andrei Karas <akaras@inbox.ru> | 2014-05-24 15:04:37 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2014-05-24 15:04:37 +0300 |
| commit | 008f60f47bb9be7a456ed754b45ab4bb14ec436c (patch) | |
| tree | 788ab43015e64689a36cb188f8e6a0ecbc84cce1 | |
| parent | 19b130c8dd9119bf9eafb7756bcde828e4fc9b48 (diff) | |
| download | mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.gz mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.bz2 mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.xz mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.zip | |
Add run script into gitignore.
| -rw-r--r-- | .gitignore | 1 | ||||
| -rwxr-xr-x | build/run | 4 |
2 files changed, 1 insertions, 4 deletions
@@ -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 - |