diff options
| author | James Harrison <JamesHarrison@users.noreply.github.com> | 2014-10-14 22:18:51 +0100 |
|---|---|---|
| committer | James Harrison <JamesHarrison@users.noreply.github.com> | 2014-10-14 22:18:51 +0100 |
| commit | 6ec338c23f0b97d998401346ed9fa35cccecf0ae (patch) | |
| tree | 043d297e7f1a183105d0ff67cf79ebf271a5a71a /Tools/px_romfs_pruner.py | |
| parent | fd983ed8e61dad21fbe6cac4efbe439ad7bb6e72 (diff) | |
| download | px4-firmware-6ec338c23f0b97d998401346ed9fa35cccecf0ae.tar.gz px4-firmware-6ec338c23f0b97d998401346ed9fa35cccecf0ae.tar.bz2 px4-firmware-6ec338c23f0b97d998401346ed9fa35cccecf0ae.zip | |
Fix px_romfs_pruner.py to skip .data files
The .data extension was missing but used in some places; this would cause the pruner to fail with a UnicodeDecodeError.
Diffstat (limited to 'Tools/px_romfs_pruner.py')
| -rw-r--r-- | Tools/px_romfs_pruner.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/px_romfs_pruner.py b/Tools/px_romfs_pruner.py index fcc40b09e..aef1cc7a3 100644 --- a/Tools/px_romfs_pruner.py +++ b/Tools/px_romfs_pruner.py @@ -57,7 +57,7 @@ def main(): for (root, dirs, files) in os.walk(args.folder): for file in files: # only prune text files - if ".zip" in file or ".bin" in file or ".swp" in file: + if ".zip" in file or ".bin" in file or ".swp" in file or ".data" in file: continue file_path = os.path.join(root, file) |