diff options
author | Aaron Bauman <bman@gentoo.org> | 2019-07-27 11:28:53 -0400 |
---|---|---|
committer | Aaron Bauman <bman@gentoo.org> | 2019-07-27 11:30:03 -0400 |
commit | da9d209870b350c62c40dc1062d358e543682b33 (patch) | |
tree | 8545b72dd0b3c30d367436cd7090d166d9787776 /profiles/profiles.desc | |
parent | profiles: introduce arm64 desktop profiles for gnome and plasma (diff) | |
download | gentoo-da9d209870b350c62c40dc1062d358e543682b33.tar.gz gentoo-da9d209870b350c62c40dc1062d358e543682b33.tar.bz2 gentoo-da9d209870b350c62c40dc1062d358e543682b33.zip |
profiles: mark desktop and dev profile as dev
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'profiles/profiles.desc')
-rw-r--r-- | profiles/profiles.desc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/profiles/profiles.desc b/profiles/profiles.desc index e430b02748db..5ef9c2c0901c 100644 --- a/profiles/profiles.desc +++ b/profiles/profiles.desc @@ -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) |