diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:45:25 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:45:25 +0100 |
| commit | 901c721468d1a30d0968ad3cb72a20eaa9e3fb8a (patch) | |
| tree | fa795d3a089a6b570cecc67f7f42ba348f6cee40 | |
| parent | c57b3079ef115ebf3a5fa25acdae043b31948ef3 (diff) | |
| download | pintos-rs-901c721468d1a30d0968ad3cb72a20eaa9e3fb8a.tar.gz | |
specify debug compilation
| -rw-r--r-- | src/Makefile.userprog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.userprog b/src/Makefile.userprog index c9ad8ee..f15ec78 100644 --- a/src/Makefile.userprog +++ b/src/Makefile.userprog @@ -53,7 +53,7 @@ libc.a: $(LIB_OBJ) ranlib $@ librust.a: - make -C $(LIBDIR_RUST) all + make -C $(LIBDIR_RUST) debug cp $(LIBDIR_RUST)/target/debug/librust.a $@ clean:: |