diff options
| author |   Dave Barach <dave@barachs.net> | 2018-06-14 09:18:21 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2018-06-14 18:52:47 +0000 |
| commit | 1f806587d8e1d94ee7630cee134fbaae2de2f31e (patch) | |
| tree | fb46e53861b5eebbf1333f85ded79c0558802bf3 /src/vppinfra/pool.h | |
| parent | abcddcbcabb180595ec8041ac7cf07249d896dc4 (diff) | |
Use __attribute__((weak)) references where necessary
It should be possible to use vlib without the vlibmemory library, etc.
Change-Id: Ic2316b93d7dbb728fb4ff42a3ca8b0d747c9425e
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra/pool.h')
0 files changed, 0 insertions, 0 deletions