From 2874c050748c6112f345234357c4c0e9a249140f Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Mon, 10 Feb 2020 14:24:58 +0100
Subject: [PATCH] fixed parsing
---
cargo-trust/src/main.rs | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/cargo-trust/src/main.rs b/cargo-trust/src/main.rs
index 432703c..6594607 100644
--- a/cargo-trust/src/main.rs
+++ b/cargo-trust/src/main.rs
@@ -88,6 +88,9 @@ fn run() -> Result<i32, failure::Error> {
cargo.args(&["--example", &example]);
}
+ if opt.release {
+ cargo.arg("--release");
+ }
// klee specifics
cargo
.args(&["--features", "klee-analysis"])
@@ -120,9 +123,12 @@ fn run() -> Result<i32, failure::Error> {
// Decide what artifact to use.
let artifact = if let Some(bin) = &opt.bin {
cargo_project::Artifact::Bin(bin)
+ // cargo trust --bin yyy
} else if let Some(example) = &opt.example {
+ // cargo trust --example xxx
cargo_project::Artifact::Example(example)
} else {
+ // cargo trust
cargo_project::Artifact::Bin(project.name())
};
@@ -177,6 +183,7 @@ fn run() -> Result<i32, failure::Error> {
.expect("unreachable")
.starts_with(&name)
{
+ println!("found {}", name);
let modified = e.metadata()?.modified()?;
if ll.is_none() {
ll = Some(p);
--
GitLab