diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-23 15:00:14 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-23 15:00:14 +0100 |
| commit | 30c54113477b08c7650194a16cf7a63a7cdd142f (patch) | |
| tree | 9c31da7f6d07d70b6bf80b846976b8641cf88ace /rust | |
| parent | 20eb8b73f7914c86812eda4b3b14ee2d0cd5a826 (diff) | |
| download | pintos-rs-30c54113477b08c7650194a16cf7a63a7cdd142f.tar.gz | |
update Makefile.userprog
Diffstat (limited to 'rust')
| -rw-r--r-- | rust/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rust/Makefile b/rust/Makefile index 23187c9..4a894f2 100644 --- a/rust/Makefile +++ b/rust/Makefile @@ -1,2 +1,7 @@ all: cargo rustc -- -C link-arg= -L. + +clean: + cargo clean + +.PHONY: all clean |