summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2015-06-07 20:35:27 +0300
committerAndrei Karas <akaras@inbox.ru>2015-06-07 20:35:27 +0300
commitffd432add542852a4e3bae3ae477369fed4e0147 (patch)
treedb963887019c3a46b85243ba07f1d13e8ece2c20 /.gitignore
parentea5da3bc3337b3125b780f7c24adbc1a73b5765b (diff)
downloadmv-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--.gitignore1
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/*