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

examples => example

Browse Source
This commit is contained in:
Ruben Perez
2023-10-04 17:47:03 +02:00
parent d0c3b3f7ee
commit 56f7d5af69
20 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/ci.py
View File

@@ -109,7 +109,7 @@ def _setup_boost(
# Install Boost dependencies
_run(["git", "config", "submodule.fetchJobs", "8"])
_run(["git", "submodule", "update", "-q", "--init", "tools/boostdep"])
_run(["python", "tools/boostdep/depinst/depinst.py", "--include", "examples", "redis"])
_run(["python", "tools/boostdep/depinst/depinst.py", "--include", "example", "redis"])
# Bootstrap
if _is_windows: