Is SONIC_DBG_DOCKERS used for anything?

[gnaaman-dn]

Hey 👋 ,

I've noticed that there are 2 similarly-named variables in the buildsystem.

SONIC_DOCKER_DBG_IMAGES is usually appended-to in rules/docker-*.mk files, e.g.:

SONIC_DOCKER_DBG_IMAGES += $(DOCKER_SNMP_DBG)

SONIC_DBG_DOCKERS is appended to in add_dbg_docker which is called in rules/*.dep files.

SONIC_DBG_DOCKERS += $(2)

As far as I could figure-out, these 2 lists contain the same values,
but I could not find any usages of SONIC_DBG_DOCKERS.

Does anyone know what is the purpose of this variable?

Thank you :)