From f590c4b41744bce9d3340f3c063c8a468c1d329c Mon Sep 17 00:00:00 2001
From: Hansung Kim <hansung_kim@berkeley.edu>
Date: Sun, 24 Mar 2024 01:44:49 -0700
Subject: [PATCH] Add vx_spawn.h as dependency to kernel/Makefile

---
 kernel/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/Makefile b/kernel/Makefile
index 07b8c97b..575707f8 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -51,10 +51,10 @@ $(PROJECT).dump: $(PROJECT).a
 %.S.o: src/%.S
 	$(CC) $(CFLAGS) -c $< -o $@
 
-%.cpp.o: src/%.cpp
+%.cpp.o: src/%.cpp include/vx_spawn.h
 	$(CXX) $(CFLAGS) -c $< -o $@
 
-%.c.o: src/%.c
+%.c.o: src/%.c include/vx_spawn.h
 	$(CC) $(CFLAGS) -c $< -o $@
 
 $(PROJECT).a: $(OBJS)