diff --git a/scripts/rmc b/scripts/rmc index 7b103f3741a9..47ec4a203865 100755 --- a/scripts/rmc +++ b/scripts/rmc @@ -28,6 +28,8 @@ def main(): json_runnable_filename = base + "_runnable.json" goto_runnable_filename = base + "_runnable.goto" c_runnable_filename = base + "_runnable.c" + restrictions_runnable_filename = os.path.join( + args.target_dir, "debug", "deps") if args.restrict_vtable else None if EXIT_CODE_SUCCESS != rmc.compile_single_rust_file(args.input, base, json_runnable_filename, args, ["gen-c"]): return 1 @@ -78,8 +80,7 @@ def main(): c_filename, restrictions_filename, args.verbose, - args.dry_run, - args.restrict_vtable): + args.dry_run): return 1 if args.gen_symbols: diff --git a/scripts/rmc.py b/scripts/rmc.py index 12b810eb5292..4f3032a98845 100644 --- a/scripts/rmc.py +++ b/scripts/rmc.py @@ -222,7 +222,6 @@ def compile_single_rust_file( input_filename, base, output_filename, - extra_args, symbol_table_passes=[]): if not extra_args.keep_temps: