From 42f7b6ce994e5f76cc682485f6c16f545715e92c Mon Sep 17 00:00:00 2001 From: Andrei Lascu Date: Wed, 10 Apr 2024 11:17:58 +0100 Subject: [PATCH] Amend hybrid build flags --- build/Makefile.vars.morello-hybrid | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/Makefile.vars.morello-hybrid b/build/Makefile.vars.morello-hybrid index 99ec093..cbb56c7 100644 --- a/build/Makefile.vars.morello-hybrid +++ b/build/Makefile.vars.morello-hybrid @@ -6,5 +6,5 @@ CHERIBASE ?= $(HOME)/cheri SDKBASE ?= $(CHERIBASE)/output/morello-sdk -CFLAGS := --config cheribsd-morello-hybrid.cfg $(CFLAGS) +CFLAGS := --config cheribsd-morello-hybrid.cfg $(CFLAGS) -lm -lpthreads PLATFORM := morello-hybrid