From: Simon Kuenzer <simon@unikraft.io>
Date: Thu, 16 Mar 2023 10:01:40 +0000 (+0100)
Subject: Fix dependency to `lib/uksched`
X-Git-Tag: RELEASE-0.13.0~3
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=f7564c7d956ebdbf1bcfa1be127758eec45fc00f;p=unikraft%2Flibs%2Fmusl.git

Fix dependency to `lib/uksched`

We currently require `lib/uksched` to be enabled as part of the build.
The dependency was not correctly stated with `Config.uk`.

Signed-off-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Delia Pavel <delia_maria.pavel@stud.acs.upb.ro>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #43
---

diff --git a/Config.uk b/Config.uk
index f7b36a3..6dd37c5 100644
--- a/Config.uk
+++ b/Config.uk
@@ -12,6 +12,7 @@ menuconfig LIBMUSL
   select LIBPOSIX_PROCESS_INIT_PIDS
   select LIBPOSIX_PROCESS_CLONE
   select LIBPOSIX_FUTEX
+  select LIBUKSCHED
   select LIBUKSCHED_TCB_INIT
   select LIBPOSIX_ENVIRON