From fb9f2a04f33a22d90bc80a68347b9f093c484c4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?= <mpg@elzevir.fr>
Date: Fri, 3 Apr 2015 18:37:07 +0200
Subject: [PATCH] Fix include lines in rename.pl

---
 tmp/rename.pl | 7 +++++++
 1 file changed, 7 insertions(+)

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 ) {