On Fri, May 23, 2025 at 01:40:20PM +0200, Richard Biener wrote: > On Fri, 23 May 2025, Richard Biener wrote: > > > The following makes update_web_docs_git work on branches without > > libgdiagnostic. > > > > I'm re-running update_web_docs_git with this, OK if it succeeds now? > > One more bit, the find command also fails. > > OK? > Richard. > > >From 97b55be8f9bb5d822371e463dff3bbe64e1fe6f9 Mon Sep 17 00:00:00 2001 > From: Richard Biener <rguent...@suse.de> > Date: Fri, 23 May 2025 13:32:47 +0200 > Subject: [PATCH] Conditionalize libgdiagnostic processing on presence > To: gcc-patches@gcc.gnu.org > > The following makes update_web_docs_git work on branches without > libgdiagnostic. > > maintainer_scripts/ > * update_web_docs_git: Conditionalize libgdiagnostic processing > on presence.
Ok. Jakub