- if build/ has been checked out (vs. exported), check the CVS metafiles

  to see what CVSROOT and TAG to use

diff --git a/planetlab.mk b/planetlab.mk
index a50525f..8fbe0c1 100644 (file)
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -28,8 +28,16 @@
 # Default values
 #
 
+ifneq ($(wildcard CVS/Root),)
+CVSROOT := $(shell cat CVS/Root)
+TAG := $(shell cvs status Makefile | sed -ne 's/[[:space:]]*Sticky Tag:[[:space:]]*\(.*\)/\1/p')
+ifeq ($(TAG),(none))
+TAG := HEAD
+endif
+else
 CVSROOT := :pserver:anon@cvs.planet-lab.org:/cvs
 TAG := HEAD
+endif
 
 #
 # kernel