Subject: Possibly difficult to reproduce GnuTLS build bug?
From: Domagoj Stolfa <[email-masked]>
To: [email-masked]
Date: Fri, 25 Jun 2021 15:07:24 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello:

While running `make check-system`, I've encountered an issue with building
GnuTLS (see attached drv file).

Upon re-cloning the repository on the exact same commit, reconfiguring it in
the exact same way and re-running `make check-system`, GnuTLS built just fine.
I'm not quite sure how one could go about debugging this, but it might be good
for this bug report to exist in case others run into it.

--
Domagoj