profiles: mark desktop and dev profile as dev
authorAaron Bauman <bman@gentoo.org>
Sat, 27 Jul 2019 15:28:53 +0000 (11:28 -0400)
committerAaron Bauman <bman@gentoo.org>
Sat, 27 Jul 2019 15:30:03 +0000 (11:30 -0400)
Signed-off-by: Aaron Bauman <bman@gentoo.org>
profiles/profiles.desc

index e430b02748dbb102a63c3a78dbea9456ae823fbe..5ef9c2c0901cc4af4e391391d2e44caedd4ffd3e 100644 (file)
@@ -88,13 +88,13 @@ arm             default/linux/arm/17.0/armv7a/developer         dev
 # ARM64 Profiles
 # @MAINTAINER: arm64@gentoo.org
 arm64           default/linux/arm64/17.0                        dev
-arm64           default/linux/arm64/17.0/desktop                exp
+arm64           default/linux/arm64/17.0/desktop                dev
 arm64           default/linux/arm64/17.0/desktop/gnome          dev
 arm64           default/linux/arm64/17.0/desktop/gnome/systemd  dev
 arm64           default/linux/arm64/17.0/desktop/plasma         dev
 arm64           default/linux/arm64/17.0/desktop/plasma/systemd dev
 arm64           default/linux/arm64/17.0/desktop/systemd        dev
-arm64           default/linux/arm64/17.0/developer              exp
+arm64           default/linux/arm64/17.0/developer              dev
 arm64           default/linux/arm64/17.0/systemd                dev
 
 # ARM64 Profiles (big-endian)