From 0f45ab11bd271535f178b58aab1ae9c36474d995 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= Date: Tue, 24 Nov 2020 00:46:39 +0100 Subject: also remove libpintos.a --- rust/Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'rust/Makefile') 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 -- cgit v1.2.1