diff options
author | 2021-02-26 08:42:23 +0000 | |
---|---|---|
committer | 2021-02-26 08:42:23 +0000 | |
commit | 0bbe090dda2c504177b9fe2e38c0db4f16e6d20e (patch) | |
tree | fb995d2d307580e2ae9034f78ad656a5bc867f7c | |
parent | gcc-config: add examples of profile formats (diff) | |
download | gcc-config-0bbe090dda2c504177b9fe2e38c0db4f16e6d20e.tar.gz gcc-config-0bbe090dda2c504177b9fe2e38c0db4f16e6d20e.tar.bz2 gcc-config-0bbe090dda2c504177b9fe2e38c0db4f16e6d20e.zip |
gcc-config: clarify comment around index number choice
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
-rwxr-xr-x | gcc-config | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1064,7 +1064,7 @@ for x in "$@" ; do fi if [[ -z $(echo ${x} | tr -d '[:digit:]') ]] ; then - # User gave us a # representing the profile + # User gave us a profile index number from '--list-profiles' i=1 for y in $(version_sorted_paths "${GCC_ENV_D}"/*) ; do [[ -f ${y} ]] || continue |