| commit | ae98d4aa397016e15ce2e2f8ba455322712157ec | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Oct 10 11:26:45 2017 +0200 |
| committer | Simon Butcher <simon.butcher@arm.com> | Tue Oct 10 17:46:19 2017 +0100 |
| tree | 385261fc7d7392a1f7cca3aa58f0210e0a1a9a79 | |
| parent | ad8b9ec9e9924929752af3769a64b8867f5c39a6 [diff] |
Minor style fix
diff --git a/scripts/config.pl b/scripts/config.pl index b99140a..5a06a33 100755 --- a/scripts/config.pl +++ b/scripts/config.pl
@@ -215,7 +215,7 @@ } if (defined $config_write) { - print $config_write $line or die "write $config_file: $!\n";; + print $config_write $line or die "write $config_file: $!\n"; } }