socket API: Use pool index instead of handle in sock_delete handler
[vpp.git] / build-root / build-config.mk
1 SOURCE_PATH = $(CURDIR)/..