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

Add tools/cmake to essentials

Browse Source
This commit is contained in:
Peter Dimov
2019-12-17 19:34:55 +02:00
parent 4de55f0b23
commit 0d07600da4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
depinst/depinst.py
View File

@@ -243,7 +243,7 @@ if( __name__ == "__main__" ):
gm = read_gitmodules()
vprint( 2, '.gitmodules:', gm )
essentials = [ 'config', 'headers', '../tools/boost_install', '../tools/build' ]
essentials = [ 'config', 'headers', '../tools/boost_install', '../tools/build', '../tools/cmake' ]
essentials = [ e for e in essentials if os.path.exists( 'libs/' + e ) ]