diff --git a/docs/contribute/ci.rst b/docs/contribute/ci.rst index 7152f1672b996..31ea4096d5541 100644 --- a/docs/contribute/ci.rst +++ b/docs/contribute/ci.rst @@ -166,7 +166,7 @@ and help in mounting your current directory. # the tvm directory is automatically mounted # example: build tvm (note: this will overrwrite build/) $ ./tests/scripts/task_config_build_cpu.sh - $ ./tests/scripts/task_build.sh build -j32 + $ ./tests/scripts/task_build.py --build-dir build --num-executors 32 Reporting Issues diff --git a/tests/scripts/ci.py b/tests/scripts/ci.py old mode 100644 new mode 100755 index 7765e5de22022..925bd12609d92 --- a/tests/scripts/ci.py +++ b/tests/scripts/ci.py @@ -238,7 +238,7 @@ def docs( scripts = extra_setup + [ config, - f"./tests/scripts/task_build.sh build -j{NPROC}", + f"./tests/scripts/task_build.py --build-dir build --num-executors {NPROC}", "./tests/scripts/task_ci_setup.sh", "./tests/scripts/task_python_docs.sh", ]