diff options
| author | Aleksander Morgado <aleksander@aleksander.es> | 2019-11-17 13:50:42 +0100 |
|---|---|---|
| committer | Aleksander Morgado <aleksander@aleksander.es> | 2019-11-27 10:11:43 +0000 |
| commit | 8fcc470a5cdea2987536df9436e99a19a58473eb (patch) | |
| tree | fdb34d6ac648a82f57c55b540f1ad26d1ed2a730 /src/main.c | |
| parent | b1c3f1eb1c740975b3ea387ae5e08dc426643c8b (diff) | |
plugin-manager: always make sure all needed symbols are available
Never do lazy loading, we'll always make sure that a plugin will only
be fully loaded if all the symbols it requires are already available.
Diffstat (limited to 'src/main.c')
0 files changed, 0 insertions, 0 deletions