Setting tag myplc-5.0-13

[build.git] / planetlab-k32-tags.mk

diff --git a/planetlab-k32-tags.mk b/planetlab-k32-tags.mk
index 44dd027..2fab477 100644 (file)
--- a/planetlab-k32-tags.mk
+++ b/planetlab-k32-tags.mk
@@ -50,6 +50,6 @@ pcucontrol-GITPATH              := git://git.planet-lab.org/pcucontrol.git@pcuco
 bootcd-GITPATH                  := git://git.planet-lab.org/bootcd.git@bootcd-5.0-7
 vserver-reference-GITPATH        := git://git.planet-lab.org/vserver-reference.git@vserver-reference-5.0-4
 bootstrapfs-GITPATH             := git://git.planet-lab.org/bootstrapfs.git@bootstrapfs-2.0-7
-myplc-GITPATH                   := git://git.planet-lab.org/myplc.git@myplc-5.0-12
+myplc-GITPATH                   := git://git.planet-lab.org/myplc.git@myplc-5.0-13
 # locating the right test directory - see make tests_gitpath
 tests-GITPATH                   := git://git.planet-lab.org/tests.git@tests-5.0-21