diff options
author | kroimon <github@kroimon.de> | 2014-05-02 17:38:45 +0200 |
---|---|---|
committer | kroimon <github@kroimon.de> | 2014-05-02 17:38:45 +0200 |
commit | 5e9639ad9bea4db26ee74e5f0c3c585a75c492a1 (patch) | |
tree | f15779590166d994a14ace3a6157c96c8aeeab4c /Tools | |
parent | 5bbb76231f6e64829d2c879caeaa3e662e8e5d52 (diff) | |
parent | d5e463352ddf501fa9cfcf7921fd31bae1153ce1 (diff) | |
download | px4-firmware-5e9639ad9bea4db26ee74e5f0c3c585a75c492a1.tar.gz px4-firmware-5e9639ad9bea4db26ee74e5f0c3c585a75c492a1.tar.bz2 px4-firmware-5e9639ad9bea4db26ee74e5f0c3c585a75c492a1.zip |
Merge pull request #890 from PX4/romfs_clean
romfs pruner: fix filename check
Diffstat (limited to 'Tools')
-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) |