3 # redirect this into modules.list to get it refreshed
5 # we set DISTRONAME as this cannot be correctly guessed from the build box root context
6 for distro in onelab planetlab ; do
8 make stage1=true PLDISTRO=${distro} PLDISTROTAGS=${tags} DISTRONAME=centos5 module-tools
9 done | sort -u | grep -v '^build$'