aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/project/ci/cmake.py
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--project/ci/cmake.py8
1 files changed, 7 insertions, 1 deletions
diff --git a/project/ci/cmake.py b/project/ci/cmake.py
index 83a80e8..1694a5e 100644
--- a/project/ci/cmake.py
+++ b/project/ci/cmake.py
@@ -21,6 +21,12 @@ def _parse_args(argv=None):
description=Dirs.get_cmake_help(),
formatter_class=argparse.RawDescriptionHelpFormatter)
+ # The hint parameter is basically a workaround for when this is run on a
+ # CI, _but_ testing another CI is desired. This shouldn't be used in a
+ # real CI workflow.
+ parser.add_argument('--hint', metavar='CI_NAME',
+ choices=Dirs.all_ci_names(),
+ help='CI system to use')
parser.add_argument('--install', action='store_true',
help='install the project')
parser.add_argument('--boost', metavar='DIR', dest='boost_dir',
@@ -36,7 +42,7 @@ def build_ci(dirs, argv=None):
args = _parse_args(argv)
with setup_logging():
if dirs is None:
- dirs = Dirs.detect()
+ dirs = Dirs.detect(args.hint)
src_dir = dirs.get_src_dir()
if args.subdir: