From a333f32d32e0542556f5f0198e1c05e10b5cf0cc Mon Sep 17 00:00:00 2001 From: Piotr Gorski Date: Mon, 30 Oct 2023 22:26:55 +0100 Subject: [PATCH] Sync with Github Signed-off-by: Piotr Gorski --- PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PKGBUILD b/PKGBUILD index a5db180..7764f09 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -313,7 +313,7 @@ prepare() { bore|hardened|cachyos) scripts/config -e SCHED_BORE;; eevdf) ;; rt) scripts/config -e PREEMPT_COUNT -e PREEMPTION -d PREEMPT_VOLUNTARY -d PREEMPT -d PREEMPT_NONE -e PREEMPT_RT -e PREEMPT_LAZY -d PREEMPT_DYNAMIC -e HAVE_PREEMPT_LAZY -d PREEMPT_BUILD;; - sched-ext) scripts/config -e SCHED_BORE SCHED_CLASS_EXT;; + sched-ext) scripts/config -e SCHED_BORE -e SCHED_CLASS_EXT;; *) _die "The value $_cpusched is invalid. Choose the correct one again.";; esac