Re: [PATCH libdrm] gitlab-ci: pass the correct toggles to configure