-
'make uninstall' should remove the 'plugin' directory only if it's empty. Also, this patch adds .gitignore file. Signed-off-by: Pavel Borzenkov <pavel.borzenkov@gmail.com> Signed-off-by: Sebastian Ramacher <s.ramacher@gmx.at>
e0be5ed5
'make uninstall' should remove the 'plugin' directory only if it's empty. Also, this patch adds .gitignore file. Signed-off-by: Pavel Borzenkov <pavel.borzenkov@gmail.com> Signed-off-by: Sebastian Ramacher <s.ramacher@gmx.at>