GIT_SILENT: ignore some builddir

Authored by mlaurent on Dec 10 2018, 12:24 PM.