From ffd432add542852a4e3bae3ae477369fed4e0147 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Sun, 7 Jun 2015 20:35:27 +0300 Subject: Add configure option for enable gcc check plugin. New configure option: --enable-checkplugin --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') 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/* -- cgit v1.2.3-70-g09d2