| commit | 0020747420110545452a95ab37d04424118fcab8 | [log] [tgz] |
|---|---|---|
| author | Martin Hořeňovský <martin.horenovsky@gmail.com> | Sun Jun 04 21:28:08 2017 +0200 |
| committer | Martin Hořeňovský <martin.horenovsky@gmail.com> | Sun Jun 04 21:28:08 2017 +0200 |
| tree | 5c50f051aa1c50e62372d42ae13f533149fa8009 | |
| parent | 169e260e8b73facff52a817b2b84c1431c017329 [diff] |
Generate single header even if output dir does not exist
diff --git a/scripts/generateSingleHeader.py b/scripts/generateSingleHeader.py index 18a2612..bef63b0 100755 --- a/scripts/generateSingleHeader.py +++ b/scripts/generateSingleHeader.py
@@ -36,6 +36,8 @@ print( "\n** Unrecognised argument: " + arg + " **\n" ) exit(1) +# ensure that the output directory exists +os.makedirs(os.path.dirname(outputPath), exist_ok = True) out = open( outputPath, 'w' ) ifdefs = 0 implIfDefs = -1