correction de bugs

scripts/envsetup.sh

@@ -31,11 +31,11 @@ then
 fi
 
 if [ "a${DISTRO}" = "a" ]; then
-	DISTRO="rpi-distro"
+	DISTRO="pengwyn-distro"
 fi
 
 if [ "a${MACHINE}" = "a" ]; then
-	MACHINE="raspberrypi"
+	MACHINE="pengwyn"
 fi
 
 if [ "a${VERS}" = "a" ]; then