commit 761773f7c48668f02cef792b0358d02622ee2353
author Simon Glass <sjg@chromium.org> Sun Jun 18 22:09:00 2017 -0600
committer Simon Glass <sjg@chromium.org> Tue Jul 11 10:08:20 2017 -0600
tree 8dd854d05c95dd2389c83dd529e707e1c7060d04
parent 1f730c8774d349ec8bad8aa8bfbe84e22e18a433

dtoc: Don't handle properties with / in them

This conversion appears to not be needed as it does not occur in practice.
Drop it.

Signed-off-by: Simon Glass <sjg@chromium.org>

tools/dtoc/dtb_platdata.py

diff --git a/tools/dtoc/dtb_platdata.py b/tools/dtoc/dtb_platdata.py
index 75adf48..d86651b 100644
--- a/tools/dtoc/dtb_platdata.py
+++ b/tools/dtoc/dtb_platdata.py
@@ -55,7 +55,6 @@
     new = new.replace('-', '_')
     new = new.replace(',', '_')
     new = new.replace('.', '_')
-    new = new.replace('/', '__')
     return new
 
 def tab_to(num_tabs, line):