Commit d41a2d00 authored by Gabor Greif's avatar Gabor Greif Committed by Ben Gamari

Don't use gcc verbatim

it might have a different name
parent a6cbac8f
Pipeline #10989 failed with stage
in 1 minute and 34 seconds