set write permission on boost_build for INSTALL_DIR (#653)

Co-authored-by: James Sharpe <james.sharpe@zenotech.com>
This commit is contained in:
thekyz 2021-06-02 21:39:25 +02:00 committed by GitHub
parent beddf776f9
commit eb72705d3d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -25,6 +25,7 @@ def _create_configure_script(configureParameters):
return [
"cd $INSTALLDIR",
"##copy_dir_contents_to_dir## $$EXT_BUILD_ROOT$$/{}/. .".format(root),
"chmod -R +w .",
"./bootstrap.sh {}".format(" ".join(ctx.attr.bootstrap_options)),
]