tree e3c68dfc86caa2c4d95f84d62645ba1434785846
parent 0d4152186dcd62b23d3703fa4e77e6a66ab340d4
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1677180965 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1677180965 +0100

Remove config.py call on now-internal option

It turns out config.py wouldn't complain, but it's still confusing.

Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>