From b0c970588705d7f8de5120b4b152f392de743ba9 Mon Sep 17 00:00:00 2001 From: huangxinda Date: Fri, 7 Jan 2022 18:41:27 +0800 Subject: [PATCH] fix(ci): add MGE_WITH_CUSTOM_OP in github ci --- ci/cmake.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ci/cmake.sh b/ci/cmake.sh index 8d8c55bf..4808e63e 100755 --- a/ci/cmake.sh +++ b/ci/cmake.sh @@ -27,7 +27,8 @@ function build() { -DMGE_WITH_DISTRIBUTED=${DMGE_WITH_DISTRIBUTED} \ -DMGE_WITH_CUDA=${DMGE_WITH_CUDA} \ -DMGE_WITH_TEST=ON \ - -DCMAKE_BUILD_TYPE=RelWithDebInfo + -DCMAKE_BUILD_TYPE=RelWithDebInfo \ + -DMGE_WITH_CUSTOM_OP=ON make -j$(($(nproc) * 2)) -I ${build_dir} make develop popd >/dev/null