# we set DISTRONAME as this cannot be correctly guessed from the build box root context
for distro in onelab planetlab ; do
tags=${distro}-tags.mk
# we set DISTRONAME as this cannot be correctly guessed from the build box root context
for distro in onelab planetlab ; do
tags=${distro}-tags.mk