mirror of https://github.com/ARMmbed/mbed-os.git
When zipping up projects, the makefile exporter brings every directory supplied as --source under the same directory, even if they are in a parent directory. There was some code that was clearing the leading "../" components. This lead to an empty string ("") being supplied to the "into_path" arg for "resources.add_directory". Since "" is not None, the default behavior to place it in the same directory was not being used. The extra "" caused a leading "/" to be added, making everything placed a the absolute root of the filesystem ("/"). Now we check to see if the "into_path" is an empty string and ignore it if that's the case. |
||
---|---|---|
.. | ||
__init__.py | ||
ignore.py |