aboutsummaryrefslogtreecommitdiff
path: root/Tools
diff options
context:
space:
mode:
authorThomas Gubler <thomasgubler@gmail.com>2014-05-02 17:34:50 +0200
committerThomas Gubler <thomasgubler@gmail.com>2014-05-02 17:34:50 +0200
commitd5e463352ddf501fa9cfcf7921fd31bae1153ce1 (patch)
tree9f9d0334068c19197f7ca3c114ce66dc649ab2f3 /Tools
parent3424a65e3229a0bc5a1d78979356436392def264 (diff)
downloadpx4-firmware-d5e463352ddf501fa9cfcf7921fd31bae1153ce1.tar.gz
px4-firmware-d5e463352ddf501fa9cfcf7921fd31bae1153ce1.tar.bz2
px4-firmware-d5e463352ddf501fa9cfcf7921fd31bae1153ce1.zip
romfs pruner: fix filename check
Diffstat (limited to 'Tools')
-rw-r--r--Tools/px_romfs_pruner.py2
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)