Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-07 00:53:41 +08:00
Code Issues Actions 28 Packages Projects Releases Wiki Activity

invalid modules_dir should be fatal, even if explicitly passed in as cli argument.

Browse Source
This commit is contained in:
Chris Gough
2012-12-17 21:46:17 +11:00
parent 6976f6abcf
commit 4c51f2c21d
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/doxygen_gen/gen_modules_doc.py
+3 -3
View File
@@ -281,9 +281,9 @@ if __name__ == '__main__':
modules_dir = options.input_dir
else:
modules_dir = os.path.join(paparazzi_home, "conf/modules")
if not os.path.isdir(modules_dir):
print("Input directory with modules " + modules_dir + " not found.")
sys.exit(1)
if not os.path.isdir(modules_dir):
print("Input directory with modules " + modules_dir + " not found.")
sys.exit(1)
if options.output_dir:
output_dir = options.output_dir