diff --git a/tmp/rename.pl b/tmp/rename.pl index 4d1854c5d..f06647c41 100755 --- a/tmp/rename.pl +++ b/tmp/rename.pl @@ -50,6 +50,13 @@ while( my $filename = shift ) my @out; for my $line (@lines) { + if( $line =~ /#include/ ) { + $line =~ s/polarssl/mbedtls/; + $line =~ s/POLARSSL/MBEDTLS/; + push( @out, $line ); + next; + } + my @words = ($line =~ /$token/g); my $checkline = join '', @words; if( $checkline eq $line ) {