diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 15:08:20 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 15:08:20 +0100 |
| commit | eba74d74502641a4565dc6011db33742e8450680 (patch) | |
| tree | f7785882d1084944b309bd777d4663112823070a /kernel/Makefile | |
| parent | 0960f519d9e1e3c108b1825a0ec241b1c56c5cca (diff) | |
| download | pintos-rs-eba74d74502641a4565dc6011db33742e8450680.tar.gz | |
move rust "libc" to separate crate and link with that instead
Diffstat (limited to 'kernel/Makefile')
| -rw-r--r-- | kernel/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/kernel/Makefile b/kernel/Makefile deleted file mode 100644 index 49a4d42..0000000 --- a/kernel/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -all: debug - -debug: - cargo build - -release: - cargo build --release - -clean: - cargo clean - -.PHONY: all clean debug release |