diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 02:40:19 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 02:40:19 +0100 |
| commit | e007af114687b5510d74fb979aa9eb3a701db286 (patch) | |
| tree | ab980c3cf13d5417bf5b80724a5100c146341ffd | |
| parent | 5d05dc8aba6dc9d78211c79418f71e2c6c38fab1 (diff) | |
| download | pintos-rs-e007af114687b5510d74fb979aa9eb3a701db286.tar.gz | |
always try to build rust kernel
| -rw-r--r-- | src/Makefile.build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.build b/src/Makefile.build index 96757cb..a9e5a23 100644 --- a/src/Makefile.build +++ b/src/Makefile.build @@ -86,6 +86,8 @@ $(LIB_RUST): make -C $(LIBDIR_RUST) debug cp $(LIBDIR_RUST)/target/debug/libkernel.a $@ +.PHONY: $(LIB_RUST) + kernel.o: threads/kernel.lds.s $(OBJECTS) $(LIB_RUST) $(LD) -T $< -o $@ $(OBJECTS) $(LIB_RUST) |