tree 2c469dedc2e5ce670abd56cf785edc1787ad0f98
parent c45ddbec9bf44504e44c973c940d2055d5d85095
author Simon Butcher <simon.butcher@arm.com> 1486045575 +0000
committer Simon Butcher <simon.butcher@arm.com> 1486045575 +0000

Fix undefined variable in scripts/config.pl

The variable $config_file was being referenced without being defined in the
script config.pl.