##############################################################################
# Generate vppinfra/config.h
##############################################################################
##############################################################################
# Generate vppinfra/config.h
##############################################################################
)
##############################################################################
# vppinfra sources
##############################################################################
set(VPPINFRA_SRCS
)
##############################################################################
# vppinfra sources
##############################################################################
set(VPPINFRA_SRCS