From 6d6b8f250907dafb716b34f93ff72c300e4fb061 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Mon, 4 Oct 2010 08:13:26 +0000
Subject: [PATCH] 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
---
 tools/simgrid_update_xml.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/simgrid_update_xml.pl b/tools/simgrid_update_xml.pl
index 171bdc2db3..226d8492cb 100755
--- 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;
     }
 }
 
-- 
2.20.1