From 0020747420110545452a95ab37d04424118fcab8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?= Date: Sun, 4 Jun 2017 21:28:08 +0200 Subject: [PATCH] Generate single header even if output dir does not exist --- scripts/generateSingleHeader.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/generateSingleHeader.py b/scripts/generateSingleHeader.py index 18a2612a..bef63b09 100755 --- a/scripts/generateSingleHeader.py +++ b/scripts/generateSingleHeader.py @@ -36,6 +36,8 @@ for arg in sys.argv[1:]: 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