Replace extract_global_symbols script by a more expressive Perl version
authorLaurent Georget <laurent.georget@inria.fr>
Wed, 1 Jul 2015 15:17:03 +0000 (17:17 +0200)
committerLaurent Georget <laurent.georget@inria.fr>
Wed, 1 Jul 2015 15:17:48 +0000 (17:17 +0200)
commit8868dfcd869350ed899596f5d88b69d86460f545
tree8b56fc45fcfc9d73b6cbf9f44b5b30f7f3a9ddd6
parente95f95d171b13889a0c0e59a0b3c1e01892ac869
Replace extract_global_symbols script by a more expressive Perl version
extract_global_symbols.pl [new file with mode: 0755]
extract_global_symbols.sh [deleted file]