X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=planetlab%2Fexp-tool%2FMakefile;h=8f5f29c3196bbd321522452ab49df9cf853f3514;hb=072e3bb3a991afb250514db0f7fe457c10cf7bd2;hp=75719a3b7c7c8548f80bb4186d01570ae11f084d;hpb=db94a8bec0b085039016df21ee66736c3d0f8316;p=sliver-openvswitch.git

diff --git a/planetlab/exp-tool/Makefile b/planetlab/exp-tool/Makefile
index 75719a3b7..8f5f29c31 100644
--- a/planetlab/exp-tool/Makefile
+++ b/planetlab/exp-tool/Makefile
@@ -201,7 +201,7 @@ del-db.%:
 	@$(SSH) $(HOST_$*) $(SUDO) sliver-ovs stop-db
 	@rm -f cache/db.$*
 
-del-controller.%:
+del-controller-%:
 	@echo "Removing controller for $(call display,$*)"
 	@$(SSH) $(HOST_$*) $(SUDO) sliver-ovs del-controller $(BRIDGE)
 	@rm -f cache/controller.$*