3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-08-01 21:05:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge build 27

Browse Source
This commit is contained in:
Malcolm Noyes
2014-03-05 09:30:33 +00:00
parent 0c71bc3eab 1f1ee3c63d
commit 3abcb2038c
7 changed files with 231 additions and 79 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/generateSingleHeader.py
View File

@@ -29,7 +29,7 @@ for arg in sys.argv[1:]:
arg = string.lower(arg)
if arg == "nobump":
bumpVersion = False
print "Not bumping version number"
print( "Not bumping version number" )
elif arg == "noimpl":
includeImpl = False
bumpVersion = False