diff options
Diffstat (limited to 'rust/Makefile')
| -rw-r--r-- | rust/Makefile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/rust/Makefile b/rust/Makefile deleted file mode 100644 index 39cae70..0000000 --- a/rust/Makefile +++ /dev/null @@ -1,17 +0,0 @@ -all: debug - -debug: libpintos.a - cargo rustc -- -C link-arg= -L. - -release: libpintos.a - cargo rustc --release -- -C link-arg= -L. - -libpintos.a: - make -C ../src/examples libc.a - cp ../src/examples/libc.a libpintos.a - -clean: - cargo clean - rm -f libpintos.a - -.PHONY: all clean debug release libpintos.a |