boost/release-tools
2
0
Fork 0
mirror of https://github.com/boostorg/release-tools.git synced 2026-01-19 04:42:10 +00:00
Code Issues Projects Releases Wiki Activity

Try tools/name/test if libs/name/test doesn't exist in ci_boost_test_library

Browse Source
This commit is contained in:
Peter Dimov
2017-09-10 13:14:44 +03:00
parent ce963057e9
commit 84585a916a
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
ci_boost_test_library.py
View File

@@ -43,6 +43,10 @@ class script(script_common):
target = 'libs/' + m.group(1) + '/test'
if not os.path.exists( target ):
target = 'tools/' + m.group(1) + '/test'
if os.path.exists( target ):
# Build b2
@@ -58,6 +62,7 @@ class script(script_common):
os.environ['PATH'] = os.pathsep.join([self.root_dir,os.environ['PATH']])
# Headers
utils.check_call( 'b2', '-d0', 'headers' )
# Test updated library