| commit | 8ca0e8fdff8c946f27d65c73e9751b414fc7bf95 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Oct 10 11:26:45 2017 +0200 |
| committer | Simon Butcher <simon.butcher@arm.com> | Thu Oct 12 23:21:37 2017 +0100 |
| tree | cefd58a0d76f15b9d448d110ef35e46fe98ba52b | |
| parent | d98e9e85771435ff1a45de76e147f0350b695bbe [diff] [blame] |
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"; } }