aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLorenz Meier <lm@inf.ethz.ch>2014-05-02 06:09:57 -0700
committerLorenz Meier <lm@inf.ethz.ch>2014-05-02 06:09:57 -0700
commit5bbb76231f6e64829d2c879caeaa3e662e8e5d52 (patch)
treebf52c2044fb50e1c34e792838efd0a4479c265a3
parent0c59c50915f4ea15d50fb7a6edc09fd00f0fbf77 (diff)
parent3424a65e3229a0bc5a1d78979356436392def264 (diff)
downloadpx4-firmware-5bbb76231f6e64829d2c879caeaa3e662e8e5d52.tar.gz
px4-firmware-5bbb76231f6e64829d2c879caeaa3e662e8e5d52.tar.bz2
px4-firmware-5bbb76231f6e64829d2c879caeaa3e662e8e5d52.zip
Merge pull request #889 from PX4/romfs_clean
Do not copy hidden or backup files to ROMFS
-rw-r--r--Tools/px_romfs_pruner.py29
-rw-r--r--makefiles/firmware.mk6
2 files changed, 19 insertions, 16 deletions
diff --git a/Tools/px_romfs_pruner.py b/Tools/px_romfs_pruner.py
index ceef9f9be..9c88ec372 100644
--- a/Tools/px_romfs_pruner.py
+++ b/Tools/px_romfs_pruner.py
@@ -43,29 +43,30 @@ from __future__ import print_function
import argparse
import os
+
def main():
-
+
# Parse commandline arguments
parser = argparse.ArgumentParser(description="ROMFS pruner.")
parser.add_argument('--folder', action="store", help="ROMFS scratch folder.")
args = parser.parse_args()
-
+
print("Pruning ROMFS files.")
-
- # go through
+
+ # go through
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:
+ if ".zip" in file or ".bin" or ".swp" in file:
continue
-
- file_path = os.path.join(root, file)
-
+
+ file_path = os.path.join(root, file)
+
# read file line by line
pruned_content = ""
with open(file_path, "r") as f:
- for line in f:
-
+ for line in f:
+
# handle mixer files differently than startup files
if file_path.endswith(".mix"):
if line.startswith(("Z:", "M:", "R: ", "O:", "S:")):
@@ -73,11 +74,11 @@ def main():
else:
if not line.isspace() and not line.strip().startswith("#"):
pruned_content += line
-
+
# overwrite old scratch file
with open(file_path, "w") as f:
f.write(pruned_content)
-
-
+
+
if __name__ == '__main__':
- main() \ No newline at end of file
+ main()
diff --git a/makefiles/firmware.mk b/makefiles/firmware.mk
index 1b646d9e0..60602e76f 100644
--- a/makefiles/firmware.mk
+++ b/makefiles/firmware.mk
@@ -113,7 +113,7 @@ endif
$(info % GIT_DESC = $(GIT_DESC))
#
-# Set a default target so that included makefiles or errors here don't
+# Set a default target so that included makefiles or errors here don't
# cause confusion.
#
# XXX We could do something cute here with $(DEFAULT_GOAL) if it's not one
@@ -177,7 +177,7 @@ GLOBAL_DEPS += $(MAKEFILE_LIST)
#
# Extra things we should clean
#
-EXTRA_CLEANS =
+EXTRA_CLEANS =
#
@@ -371,6 +371,8 @@ $(ROMFS_IMG): $(ROMFS_SCRATCH) $(ROMFS_DEPS) $(GLOBAL_DEPS)
$(ROMFS_SCRATCH): $(ROMFS_DEPS) $(GLOBAL_DEPS)
$(Q) $(MKDIR) -p $(ROMFS_SCRATCH)
$(Q) $(COPYDIR) $(ROMFS_ROOT)/* $(ROMFS_SCRATCH)
+# delete all files in ROMFS_SCRATCH which start with a . or end with a ~
+ $(Q) $(RM) $(ROMFS_SCRATCH)/*/.[!.]* $(ROMFS_SCRATCH)/*/*~
ifneq ($(ROMFS_EXTRA_FILES),)
$(Q) $(MKDIR) -p $(ROMFS_SCRATCH)/extras
$(Q) $(COPY) $(ROMFS_EXTRA_FILES) $(ROMFS_SCRATCH)/extras