teach the platform upgrading script about the s/:/_/ in the DTD

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8334 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/tools/simgrid_update_xml.pl b/tools/simgrid_update_xml.pl
index 171bdc2..226d849 100755 (executable)
--- a/tools/simgrid_update_xml.pl
+++ b/tools/simgrid_update_xml.pl
@@ -77,6 +77,8 @@ while (defined($line = <INPUT>)) {
        } else {
            $output_string .=  "$line\n";
        }
+       $line =~ s/\blink:ctn\b/link_ctn/g;
+       $line =~ s/\btrace:connect\b/trace_connect/g;
     }
 }