tree ec59a5e7d49ea5b36d4bb24956357f14b1bdf408
parent c6468ee24778e2ff1b30a23c67ca0bf1e1d9c03b
author Gilles Peskine <Gilles.Peskine@arm.com> 1601497093 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1601544437 +0200

Fix the build when _GNU_SOURCE is defined to a non-empty value

Fix #3432.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>