diff options
| author | Martin Hořeňovský | 2017-06-06 16:32:45 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2017-06-06 16:32:45 +0200 |
| commit | b6d9976fbb3f67f5a6b3b48dec9de3f1c2b76a3a (patch) | |
| tree | 5683dbe432a93e0b21b1e8b28c218739e9cf7b3e /scripts | |
| parent | 6583284731e961065f007782eb89be41e6ef4e6a (diff) | |
| download | catch3-b6d9976fbb3f67f5a6b3b48dec9de3f1c2b76a3a.tar.gz | |
Make generateSingleHeader.py Python 2.7 compatible
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/generateSingleHeader.py | 7 |
1 files 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 |