fix script

rr_frontend/refinedrust

@@ -88,7 +88,7 @@ case "$COMMAND" in
 install|install-debug)
     # "--locked" to respect the Cargo.lock file if it exists,
     # "--offline" to avoid querying the registry (for yanked packages).
-    cd translation; cargo install $CARGO_INSTALL_FLAGS --path "$RRDIR" --force --locked --offline "$@"
+    cd translation; cargo install $CARGO_INSTALL_FLAGS  --path "$RRDIR" --force --locked --offline "$@"
     ;;
 check|check-debug)
     # Check, and let caller control flags.
@@ -110,7 +110,7 @@ run|run-debug)
     cargo build $CARGO_BUILD_FLAGS
     find_sysroot
     # Then run the actual command.
-    exec cargo run $CARGO_BUILD_FLAGS --bin frontend -- --sysroot "$RR_SYSROOT" "$@"
+    exec cargo run $CARGO_BUILD_FLAGS --bin refinedrust_translate -- --sysroot "$RR_SYSROOT" "$@"
     ;;
 *)
     if [ -n "$COMMAND" ]; then