---

yichoi · yichoi · commit ee4c5ffe0e6a · 2013-07-01T16:11:32.000+09:00
yaml --- r: 68559 b: refs/heads/auto c: 567cf30 h: refs/heads/master i: 68557: b6a6382 68555: bd79148 68551: ddb9d7b 68543: fba6b30 v: v3
diff --git a/[refs] b/[refs]
@@ -14,6 +14,6 @@ refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0
 refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
 refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
 refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
-refs/heads/auto: d387e787124218534c72356e142ac78384380c85
+refs/heads/auto: 567cf30450c4c1ff15938c9c6a2519440e47a00e
 refs/heads/servo: af82457af293e2a842ba6b7759b70288da276167
 refs/tags/release-0.6: b4ebcfa1812664df5e142f0134a5faea3918544c
diff --git a/branches/auto/src/librustc/back/link.rs b/branches/auto/src/librustc/back/link.rs
@@ -660,7 +660,8 @@ pub fn sanitize(s: &str) -> ~str {
             | '_' => result.push_char(c),
 
             _ => {
-                let tstr = char::escape_unicode(c);
+                let mut tstr = ~"";
+                do char::escape_unicode(c) |c| { tstr.push_char(c); }
                 result.push_char('$');
                 result.push_str(tstr.slice_from(1));
             }

Original file line number	Diff line number	Diff line change
`@@ -660,7 +660,8 @@ pub fn sanitize(s: &str) -> ~str {`
`660`	`660`	`\| '_' => result.push_char(c),`
`661`	`661`
`662`	`662`	`_ => {`
`663`		`- let tstr = char::escape_unicode(c);`
	`663`	`+ let mut tstr = ~"";`
	`664`	`+ do char::escape_unicode(c) \|c\| { tstr.push_char(c); }`
`664`	`665`	`result.push_char('$');`
`665`	`666`	`result.push_str(tstr.slice_from(1));`
`666`	`667`	`}`