3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-22 05:16:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed compile benchmark script

Browse Source 
Now it no longer attempts to enter a directory before creating it...
This commit is contained in:
Martin Hořeňovský 2017-03-02 18:27:31 +01:00
parent cd6de9cd34
commit fd6c7aee6d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/benchmarkCompile.py
View File

@ -124,9 +124,9 @@ args = parser.parse_args()
compiler_path = args.compiler
catch_path = args.catch_header
os.chdir(dir_name)
if args.generate_files:
create_temp_dir()
os.chdir(dir_name)
copy_catch(catch_path)
# now create the fake test files
generate_files()
@ -134,6 +134,8 @@ if args.generate_files:
print('Finished generating files')
exit(1)
os.chdir(dir_name)
if args.flags:
flags = args.flags