From 07070492c774a19cce03ea970fb532ead172ffd0 Mon Sep 17 00:00:00 2001 From: Stuart Pernsteiner Date: Mon, 29 Apr 2024 11:48:59 -0700 Subject: [PATCH] analyze: uncomment line in scripts/run_pointwise_metrics.sh --- c2rust-analyze/scripts/run_pointwise_metrics.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/c2rust-analyze/scripts/run_pointwise_metrics.sh b/c2rust-analyze/scripts/run_pointwise_metrics.sh index dea8e6e6c..c17306401 100755 --- a/c2rust-analyze/scripts/run_pointwise_metrics.sh +++ b/c2rust-analyze/scripts/run_pointwise_metrics.sh @@ -55,7 +55,7 @@ case "$project" in ;; cfs_*) - : cargo run --bin c2rust-analyze --release -- \ + cargo run --bin c2rust-analyze --release -- \ --rewrite-mode pointwise --use-manual-shims -- \ build --manifest-path "$MODULE_DIR/Cargo.toml" \ |& tee pointwise-cfs-analyze-$now.log \