From d167c75bcc7a350f675f7734f04572f2da1b99a0 Mon Sep 17 00:00:00 2001 From: nacho Date: Fri, 13 Oct 2023 13:19:06 +0200 Subject: [PATCH] add keep_fingerprints ARG --- rust/Earthfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/rust/Earthfile b/rust/Earthfile index 3879152..518e339 100644 --- a/rust/Earthfile +++ b/rust/Earthfile @@ -9,8 +9,11 @@ VERSION 0.7 CARGO: COMMAND ARG --required args + ARG keep_fingerprints=false ARG output - DO +REMOVE_SOURCE_FINGERPRINTS + IF [ "$keep_fingerprints" = "false" ] + DO +REMOVE_SOURCE_FINGERPRINTS + END RUN --mount=type=cache,mode=0777,sharing=shared,target=$CARGO_HOME/registry \ --mount=type=cache,mode=0777,sharing=shared,target=$CARGO_HOME/git \ --mount=type=cache,mode=0777,target=target \