Make generateSingleHeader.py Python 2.7 compatible
diff --git a/scripts/generateSingleHeader.py b/scripts/generateSingleHeader.py
index bef63b0..bb267ff 100755
--- a/scripts/generateSingleHeader.py
+++ b/scripts/generateSingleHeader.py
@@ -36,8 +36,11 @@
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