cat config-planetlab >> config-generic ; \
cat config-workarounds >> config-generic ; \
sed -i -e s,CONFIG_IPV6=m,CONFIG_IPV6=y, config-generic ;\
cat config-planetlab >> config-generic ; \
cat config-workarounds >> config-generic ; \
sed -i -e s,CONFIG_IPV6=m,CONFIG_IPV6=y, config-generic ;\
- sed -e -e s,CONFIG_MODULE_SIG=y,CONFIG_MODULE_SIG=n, config-generic-rhel)
+ sed -i -e s,CONFIG_MODULE_SIG=y,CONFIG_MODULE_SIG=n, config-generic-rhel)