correction de bugs

2023-07-13 06:49:00 +00:00
parent 444561eb5d
commit 753180f779
6 changed files with 42 additions and 33 deletions
--- a/scripts/envsetup.sh
+++ b/scripts/envsetup.sh
@@ -35,7 +35,7 @@ if [ "a${DISTRO}" = "a" ]; then
 fi

 if [ "a${MACHINE}" = "a" ]; then
-	MACHINE="raspberrypi4"
+	MACHINE="raspberrypi"
 fi

 if [ "a${VERS}" = "a" ]; then