From a74254470a1d00bba3613aac50f4985c7c753be9 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Wed, 1 Dec 2021 13:23:31 -0800 Subject: [PATCH] Fix rmc --gen-c There was a regression introduced by 7820fa576c6 that broke rmc --gen-c. This change fixes that. I am also fixing a random white space from my previous commit. --- scripts/rmc | 5 +++-- scripts/rmc.py | 1 - 2 files changed, 3 insertions(+), 3 deletions(-) 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: