its better to use /etc/solbuild/main-x86_64.profile...

[ghost]

instead of editing /usr/share/solbuild/main-x86_64.profile

from the default main-x86_64.profile file it says

# Do not make changes to this file. solbuild is implemented in a stateless
# fashion, and will load files in a layered mechanism. If you wish to edit
# this profile, copy to /etc/solbuild/.
#
# It is generally advisable to create a *new* profile name in /etc, because
# we will load /etc/ before /usr/share. Thus, profiles with the same name
# in /etc/ are loaded *first* and will override this profile.
#
# Of course, if that's what you intended to do, then by all means, do so.

[streambinder]

Fair enough, you're right. I was already using the overriding one in /etc/solbuild, but forgot to update documentation. Thanks.