diff options
author | 2021-02-26 08:50:36 +0000 | |
---|---|---|
committer | 2021-02-26 08:50:36 +0000 | |
commit | c952a087e482b7dfe067172754ce832f78aa8c80 (patch) | |
tree | 95cae50ea57f8a594ca4f757ea1a273b3f201aa0 | |
parent | gcc-config: clarify comment around profile version selection (diff) | |
download | gcc-config-c952a087e482b7dfe067172754ce832f78aa8c80.tar.gz gcc-config-c952a087e482b7dfe067172754ce832f78aa8c80.tar.bz2 gcc-config-c952a087e482b7dfe067172754ce832f78aa8c80.zip |
gcc-config: provide 'gcc-config --get-current-profile [CTARGET]' example
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
-rwxr-xr-x | gcc-config | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -45,6 +45,7 @@ GENTOO_LIBDIR="@GENTOO_LIBDIR@" usage() { cat <<-EOF Usage: gcc-config [options] [CC Profile] + gcc-config [options] --get-current-profile [CTARGET] Change the current compiler profile, or give info about profiles. Options: @@ -1080,7 +1081,7 @@ for x in "$@" ; do die "Could not locate profile #$x !" fi else - # User gave us a full <CTARGET-version> or <version> + # User gave us a full <CTARGET-version>, <CTARGET> or <version> x=${x##*/} if [[ ${DOIT} == "get_current_profile" && -z $(ls "${GCC_ENV_D}"/${x}-* 2>/dev/null) ]] || \ [[ ${DOIT} != "get_current_profile" && ! -f ${GCC_ENV_D}/${x} ]] |