Cut rust stuff make target

nickdrozd · Nov 10, 2023 · 44b267c · 44b267c
1 parent 92133f0
commit 44b267c
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -25,10 +25,6 @@ idris :
 
 RUST_STUFF = tm/rust_stuff.so
 
-$(RUST_STUFF) :
-	cargo build --release
-	cp target/release/librust_stuff.so $(RUST_STUFF)
-
 rust :
 	cargo build --release
 	cp target/release/librust_stuff.so $(RUST_STUFF)