mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-01-26 12:35:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #6893 from tom-daubney-arm/modify_generate_errors_script

Browse Source 
Make generate_errors.pl handle directory names containing spaces when opening files
This commit is contained in:
Gilles Peskine 2023-01-10 22:09:58 +01:00 committed by GitHub
commit f9c8d76db6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ChangeLog.d/fix_build_for_directory_names_containing_spaces.txt Normal file
View File

@ -0,0 +1,4 @@
Bugfix
* Fix a bug in the build where directory names containing spaces were
causing generate_errors.pl to error out resulting in a build failure.
Fixes issue #6879.

4
scripts/generate_errors.pl
View File

@ -60,11 +60,11 @@ open(FORMAT_FILE, '<:crlf', "$error_format_file") or die "Opening error format f
my $error_format = <FORMAT_FILE>; my $error_format = <FORMAT_FILE>;
close(FORMAT_FILE); close(FORMAT_FILE);
my @files = <$include_dir/*.h>; my @files = glob qq("$include_dir/*.h");
my @necessary_include_files; my @necessary_include_files;
my @matches; my @matches;
foreach my $file (@files) { foreach my $file (@files) {
open(FILE, '<:crlf', "$file"); open(FILE, '<:crlf', $file) or die("$0: $file: $!");
my $content = <FILE>; my $content = <FILE>;
close FILE; close FILE;
my $found = 0; my $found = 0;