diff options
| -rw-r--r-- | src/rt/rustrt.def.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/rt/rustrt.def.in b/src/rt/rustrt.def.in index d85700435e0..a08a142df77 100644 --- a/src/rt/rustrt.def.in +++ b/src/rt/rustrt.def.in @@ -245,4 +245,6 @@ rust_update_log_settings rust_running_on_valgrind rust_get_num_cpus rust_get_global_args_ptr -rust_current_boxed_region \ No newline at end of file +rust_current_boxed_region +rust_take_global_args_lock +rust_drop_global_args_lock \ No newline at end of file |