diff options
author | Thomas Gubler <thomasgubler@gmail.com> | 2014-05-02 17:34:50 +0200 |
---|---|---|
committer | Thomas Gubler <thomasgubler@gmail.com> | 2014-05-02 17:34:50 +0200 |
commit | d5e463352ddf501fa9cfcf7921fd31bae1153ce1 (patch) | |
tree | 9f9d0334068c19197f7ca3c114ce66dc649ab2f3 | |
parent | 3424a65e3229a0bc5a1d78979356436392def264 (diff) | |
download | px4-firmware-d5e463352ddf501fa9cfcf7921fd31bae1153ce1.tar.gz px4-firmware-d5e463352ddf501fa9cfcf7921fd31bae1153ce1.tar.bz2 px4-firmware-d5e463352ddf501fa9cfcf7921fd31bae1153ce1.zip |
romfs pruner: fix filename check
-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 9c88ec372..fcc40b09e 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" or ".swp" in file: + if ".zip" in file or ".bin" in file or ".swp" in file: continue file_path = os.path.join(root, file) |