diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:46:39 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:46:39 +0100 |
| commit | 0f45ab11bd271535f178b58aab1ae9c36474d995 (patch) | |
| tree | 682d7c9d4e33776b0c0f3bb87bb052bcddf914ef /rust/Makefile | |
| parent | 901c721468d1a30d0968ad3cb72a20eaa9e3fb8a (diff) | |
| download | pintos-rs-0f45ab11bd271535f178b58aab1ae9c36474d995.tar.gz | |
also remove libpintos.a
Diffstat (limited to 'rust/Makefile')
| -rw-r--r-- | rust/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rust/Makefile b/rust/Makefile index 7efb89c..39cae70 100644 --- a/rust/Makefile +++ b/rust/Makefile @@ -12,5 +12,6 @@ libpintos.a: clean: cargo clean + rm -f libpintos.a .PHONY: all clean debug release libpintos.a |