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

benchmarkCompile.py fixup

Browse Source
This commit is contained in:
Martin Hořeňovský 2017-03-06 10:59:17 +01:00
parent 8b8e3ee117
commit 374c050a42
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/benchmarkCompile.py
View File

@ -126,8 +126,8 @@ catch_path = args.catch_header
if args.generate_files: if args.generate_files:
create_temp_dir() create_temp_dir()
os.chdir(dir_name)
copy_catch(catch_path) copy_catch(catch_path)
os.chdir(dir_name)
# now create the fake test files # now create the fake test files
generate_files() generate_files()
# Early exit # Early exit