summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2004-10-11 14:36:40 +0000
committerMike Frysinger <vapier@gentoo.org>2004-10-11 14:36:40 +0000
commit8604e2a82378173ad98e5931400b27a69ed5aa99 (patch)
treede7461665ea626d55cf4ba4d90d343853dcf8e20
parentfixed the handling of GCC_SPECS-specific gcc configs (diff)
downloadgcc-config-1.3.6.tar.gz
gcc-config-1.3.6.tar.bz2
gcc-config-1.3.6.zip
touchup output of list to indicate current profilev1.3.6
-rwxr-xr-xgcc-config8
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc-config b/gcc-config
index 704fadc..7515fee 100755
--- a/gcc-config
+++ b/gcc-config
@@ -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