bump to planetlab 5.1

[build.git] / Makefile

diff --git a/Makefile b/Makefile
index 1e26d5a..3cab844 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -112,7 +112,7 @@
 ####################
 
 # exported to spec files as plrelease
-PLANETLAB_RELEASE = 5.0
+PLANETLAB_RELEASE = 5.1
 
 #
 # Default values