Makefile.uk: Include missing gettid implementation

The linux library was missing the implementation of gettid().
This change corrects this omission.

Signed-off-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Reviewed-by: Razvan Deaconescu <razvand@unkraft.io>
Reviewed-by: Radu Nichita <radunichita99@gmail.com>
Reviewed-by: Razvan Deaconescu <razvand@unikraft.io>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #65

diff --git a/Makefile.uk.musl.linux b/Makefile.uk.musl.linux
index ff19844ece8951b38213f9dbd17dd23a9659de02..dc346f99fb3baa6640450064152c829a9fe29f39 100644 (file)
--- a/Makefile.uk.musl.linux
+++ b/Makefile.uk.musl.linux
@@ -54,6 +54,7 @@ LIBMUSL_LINUX_SRCS-y += $(LIBMUSL)/src/linux/fanotify.c
 LIBMUSL_LINUX_SRCS-y += $(LIBMUSL)/src/linux/flock.c
 LIBMUSL_LINUX_SRCS-$(CONFIG_LIBUKSWRAND) += $(LIBMUSL)/src/linux/getrandom.c
 LIBMUSL_LINUX_SRCS-y += $(LIBMUSL)/src/linux/getdents.c
+LIBMUSL_LINUX_SRCS-y += $(LIBMUSL)/src/linux/gettid.c
 LIBMUSL_LINUX_SRCS-y += $(LIBMUSL)/src/linux/inotify.c
 LIBMUSL_LINUX_SRCS-y += $(LIBMUSL)/src/linux/ioperm.c
 LIBMUSL_LINUX_SRCS-y += $(LIBMUSL)/src/linux/iopl.c