@echo "sync: I need more info from the command line, e.g."
@echo " make sync PLC=boot.planetlab.eu"
@echo " make sync PLCHOSTVS=.. GUESTNAME=.."
@echo "sync: I need more info from the command line, e.g."
@echo " make sync PLC=boot.planetlab.eu"
@echo " make sync PLCHOSTVS=.. GUESTNAME=.."