tools/mpy-tool.py: Don't strip directories from the frozen source name.

dpgeorge · dpgeorge · commit 25a42fb6ef54 · 2016-05-23T13:29:03.000+01:00
Directories are now supported by the frozen import system (to implement
frozen packages) so we should keep them.
diff --git a/tools/mpy-tool.py b/tools/mpy-tool.py
@@ -503,9 +503,6 @@ def freeze_mpy(qcfgs, base_qstrs, raw_codes):
     print('const char mp_frozen_mpy_names[] = {')
     for rc in raw_codes:
         module_name = rc.source_file.str
-        slash = module_name.rfind('/')
-        if slash != -1:
-            module_name = module_name[slash + 1:]
         print('"%s\\0"' % module_name)
     print('"\\0"};')
 
