From 521c772ee7f0a5c1e4042efc72ef13a0cd7669b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Thu, 10 Oct 2024 08:10:38 -0700
Subject: [PATCH] test: rename rust test executables and gitignore them

---
 test/.gitignore | 1 +
 test/Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/.gitignore b/test/.gitignore
index 1d348d8aa..8a3df9c33 100644
--- a/test/.gitignore
+++ b/test/.gitignore
@@ -1,3 +1,4 @@
 .cache
 .depend
 .output
+*.exe
diff --git a/test/Makefile b/test/Makefile
index 317954c0f..e66d88e5f 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -315,7 +315,7 @@ WasmTrap.wasm-test: NEGATIVE = true
 	echo 'fn main () { let r = main_ (); if r != 0 { println!("main_ returned: {}\\n", r); panic!() } }' >> $@
 
 %.rust-test: $(OUTPUT_DIR)/%.rs
-	rustc $< && ./$*
+	rustc $< -o $*.exe && ./$*.exe
 
 rust: $(RUST_FILES) $(patsubst Rust%.fst,rust%.rust-test,$(filter-out Rust1.fst Rust2.fst Rust3.fst,$(wildcard Rust*.fst)))