From db863f7535a57e249204f47688a1046a0641c585 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 11 Jan 2008 16:27:37 +0000
Subject: [PATCH] renamed native-shell.pkgs into vtest.pkgs

---
 README-pldistros.txt                               | 2 +-
 config.planetlab/{native-shell.pkgs => vtest.pkgs} | 0
 vbuild-init-vserver.sh                             | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename config.planetlab/{native-shell.pkgs => vtest.pkgs} (100%)

diff --git a/README-pldistros.txt b/README-pldistros.txt
index e68c449e..513fedb4 100644
--- a/README-pldistros.txt
+++ b/README-pldistros.txt
@@ -31,5 +31,5 @@ missing files are searched in the planetlab distro
 	the contents of the standard vserver reference image
 ./build/config.<pldistro>/vserver-*.pkgs
 	all *.pkgs files here - produce additional vserver images
-./build/config.<pldistro>/native-shell.pkgs
+./build/config.<pldistro>/vtest.pkgs
 	used to create test vservers for myplc-native
diff --git a/config.planetlab/native-shell.pkgs b/config.planetlab/vtest.pkgs
similarity index 100%
rename from config.planetlab/native-shell.pkgs
rename to config.planetlab/vtest.pkgs
diff --git a/vbuild-init-vserver.sh b/vbuild-init-vserver.sh
index 8b74e912..d1b44b57 100755
--- a/vbuild-init-vserver.sh
+++ b/vbuild-init-vserver.sh
@@ -152,7 +152,7 @@ function devel_tools () {
     if [ -n "$VBUILD_MODE" ] ; then
 	pkgsname=devel.pkgs
     else
-	pkgsname=native-shell.pkgs
+	pkgsname=vtest.pkgs
     fi
     pkgsfile=$(pl_locateDistroFile $DIRNAME $pldistro $pkgsname)
 
-- 
2.43.0