for downloaded in $(SOURCEFILES) ; do cp ../$$downloaded . ; done ; \
cat config-vserver >> config-generic ; \
sed -i -e s,CONFIG_IPV6=m,CONFIG_IPV6=y, config-generic)
for downloaded in $(SOURCEFILES) ; do cp ../$$downloaded . ; done ; \
cat config-vserver >> config-generic ; \
sed -i -e s,CONFIG_IPV6=m,CONFIG_IPV6=y, config-generic)