diff options
| -rw-r--r-- | profiles/profiles.desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/profiles.desc b/profiles/profiles.desc index c7c357a969be..b5853daadff5 100644 --- a/profiles/profiles.desc +++ b/profiles/profiles.desc @@ -220,7 +220,7 @@ ppc default/linux/ppc/17.0/desktop/gnome/systemd/merged-usr dev ppc default/linux/ppc/17.0/systemd stable ppc default/linux/ppc/17.0/systemd/merged-usr dev ppc default/linux/ppc/17.0/developer exp -ppc default/linux/ppc/17.0/musl exp +ppc default/linux/ppc/17.0/musl dev ppc default/linux/ppc/17.0/musl/hardened exp # PPC64 profiles |