user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

there is no need for these wildcards

Browse source
This commit is contained in:
Ralf Jung 2024-03-31 10:10:35 +02:00
parent b5642b361f
commit 38780aa5a4
1 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/tools/miri/tests/extern-so/libtest.map
View file

@ -1,11 +1,12 @@
CODEABI_1.0 {
# Define which symbols to export.
global: *add_one_int*;
*printer*;
*test_stack_spill*;
*get_unsigned_int*;
*add_int16*;
*add_short_to_long*;
global:
add_one_int;
printer;
test_stack_spill;
get_unsigned_int;
add_int16;
add_short_to_long;
# The rest remains private.
local: *;
};