From a3019c961a06b06000a355c3694b2be5b9da4e00 Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Fri, 11 Aug 2023 23:17:59 +0200 Subject: [PATCH] embed.mk fix --- embed.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/embed.mk b/embed.mk index ce6410651..c189151c1 100644 --- a/embed.mk +++ b/embed.mk @@ -23,7 +23,7 @@ $(GC_OBJDIR)gc-platform.o: $(WHIPPET)src/gc-platform-$(GC_PLATFORM).c $(GC_OBJDIR)gc-stack.o: $(WHIPPET)src/gc-stack.c $(GC_COMPILE) -c $< $(GC_OBJDIR)gc-options.o: $(WHIPPET)src/gc-options.c - $(GC_COMPILE) -c $(WHIPPET)$< + $(GC_COMPILE) -c $< $(GC_OBJDIR)gc-ephemeron.o: $(WHIPPET)src/gc-ephemeron.c $(GC_COMPILE) $(EMBEDDER_TO_GC_CFLAGS) -c $<