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 \