diff options
author | Thomas Gubler <thomasgubler@gmail.com> | 2015-01-23 15:39:11 +0100 |
---|---|---|
committer | Thomas Gubler <thomasgubler@gmail.com> | 2015-01-23 15:39:34 +0100 |
commit | 6357fa75976a1d215d263b316d7fe495b82cfff4 (patch) | |
tree | 4da055507d25ea220c5a2f55e1fc9838c1fd2e73 | |
parent | de2d73987f00377b0b230a1bc77cfbe62f693da1 (diff) | |
download | px4-firmware-6357fa75976a1d215d263b316d7fe495b82cfff4.tar.gz px4-firmware-6357fa75976a1d215d263b316d7fe495b82cfff4.tar.bz2 px4-firmware-6357fa75976a1d215d263b316d7fe495b82cfff4.zip |
header generation script: create dir if it does not exist
-rwxr-xr-x | Tools/px_generate_uorb_topic_headers.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Tools/px_generate_uorb_topic_headers.py b/Tools/px_generate_uorb_topic_headers.py index 54430cc38..4bcab4d54 100755 --- a/Tools/px_generate_uorb_topic_headers.py +++ b/Tools/px_generate_uorb_topic_headers.py @@ -90,6 +90,11 @@ def copy_changed(inputdir, outputdir, prefix=''): Copies files from inputdir to outputdir if they don't exist in ouputdir or if their content changed """ + + # Make sure output directory exists: + if not os.path.isdir(outputdir): + os.makedirs(outputdir) + for f in os.listdir(inputdir): fni = os.path.join(inputdir, f) if os.path.isfile(fni): |