From 14effd44c5d4b09142c731f30eeba2499b86e87e Mon Sep 17 00:00:00 2001 From: pantonshire Date: Fri, 29 Sep 2023 09:40:31 +0100 Subject: [PATCH] replace test shell script with justfile --- justfile | 6 ++++++ test.sh | 3 --- 2 files changed, 6 insertions(+), 3 deletions(-) create mode 100644 justfile delete mode 100755 test.sh diff --git a/justfile b/justfile new file mode 100644 index 0000000..5948224 --- /dev/null +++ b/justfile @@ -0,0 +1,6 @@ +nightly := 'cargo +nightly' +rustc_nightly_flags := '-Z randomize-layout' + +test: + RUST_FLAGS='{{rustc_nightly_flags}}' {{nightly}} miri test + diff --git a/test.sh b/test.sh deleted file mode 100755 index 2e854b7..0000000 --- a/test.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -RUSTFLAGS='-Z randomize-layout' cargo +nightly miri test -