diff options
-rw-r--r-- | scripts/ci/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/ci/Makefile b/scripts/ci/Makefile index 30dd9ebeb..48a1e1887 100644 --- a/scripts/ci/Makefile +++ b/scripts/ci/Makefile @@ -1,4 +1,10 @@ -local: +# Umount cpuset in cgroupv1 to make it move to cgroupv2 +cpuset-cgroupv2: + if [ -d /sys/fs/cgroup/cpuset ]; then \ + umount /sys/fs/cgroup/cpuset; \ + fi + +local: cpuset-cgroupv2 ./run-ci-tests.sh .PHONY: local |