tree 9b7f1bc133f6d818b53f8d881d0dd07533421172
parent 319eee5fddfac5abde0201606f829f616b5dda10
author Gilles Peskine <Gilles.Peskine@arm.com> 1601497093 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1601565457 +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>