diff options
| author |   Mike Frysinger <vapier@gentoo.org> | 2004-10-11 14:36:40 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2004-10-11 14:36:40 +0000 |
| commit | 8604e2a82378173ad98e5931400b27a69ed5aa99 (patch) | |
| tree | de7461665ea626d55cf4ba4d90d343853dcf8e20 | |
| parent | fixed the handling of GCC_SPECS-specific gcc configs (diff) | |
| download | gcc-config-8604e2a82378173ad98e5931400b27a69ed5aa99.tar.gz gcc-config-8604e2a82378173ad98e5931400b27a69ed5aa99.tar.bz2 gcc-config-8604e2a82378173ad98e5931400b27a69ed5aa99.zip | |
touchup output of list to indicate current profilev1.3.6
| -rwxr-xr-x | gcc-config | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -1,7 +1,7 @@ #!/bin/bash # Copyright 1999-2004 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: gentoo-x86/sys-devel/gcc-config/files/gcc-config-1.3.6,v 1.7 2004/10/05 12:25:45 lv Exp $ +# $Header: gentoo-x86/sys-devel/gcc-config/files/gcc-config-1.3.6,v 1.8 2004/10/11 14:36:40 vapier Exp $ # Author: Martin Schlemmer <azarah@gentoo.org> source /etc/init.d/functions.sh || { @@ -265,11 +265,15 @@ list_profiles() { return 1 fi + get_current_profile > /dev/null + for x in /etc/env.d/gcc/* do if [ -f "${x}" -a "${x}" != "/etc/env.d/gcc/config" ] then - echo "[${i}] ${x##*/}" + x="${x##*/}" + [ "${x}" == "${CURRENT}" ] && x="${x} *" + echo "[${i}] ${x}" i=$((i + 1)) fi done |