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 /Tools | |
| 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
Diffstat (limited to 'Tools')
| -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): |