diff options
| -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 |