From b6d9976fbb3f67f5a6b3b48dec9de3f1c2b76a3a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?=
 <martin.horenovsky@gmail.com>
Date: Tue, 6 Jun 2017 16:32:45 +0200
Subject: [PATCH] Make generateSingleHeader.py Python 2.7 compatible

---
 scripts/generateSingleHeader.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/scripts/generateSingleHeader.py b/scripts/generateSingleHeader.py
index bef63b09..bb267ff5 100755
--- a/scripts/generateSingleHeader.py
+++ b/scripts/generateSingleHeader.py
@@ -36,8 +36,11 @@ 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)
+
+# ensure that the output directory exists (hopefully no races)
+outDir = os.path.dirname(outputPath)
+if not os.path.exists(outDir):
+    os.makedirs(outDir)
 out = open( outputPath, 'w' )
 ifdefs = 0
 implIfDefs = -1