diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-06-07 20:35:27 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-06-07 20:35:27 +0300 |
| commit | ffd432add542852a4e3bae3ae477369fed4e0147 (patch) | |
| tree | db963887019c3a46b85243ba07f1d13e8ece2c20 /.gitignore | |
| parent | ea5da3bc3337b3125b780f7c24adbc1a73b5765b (diff) | |
| download | mv-ffd432add542852a4e3bae3ae477369fed4e0147.tar.gz mv-ffd432add542852a4e3bae3ae477369fed4e0147.tar.bz2 mv-ffd432add542852a4e3bae3ae477369fed4e0147.tar.xz mv-ffd432add542852a4e3bae3ae477369fed4e0147.zip | |
Add configure option for enable gcc check plugin.
New configure option: --enable-checkplugin
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 02035cd9a..3c962a6cd 100644 --- a/.gitignore +++ b/.gitignore @@ -114,6 +114,7 @@ build/makecheck5 build/makecheck6 build/clmake build/bmakesnapshot +build/checkplugin.so # debian debian/* |