Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiguel de Icaza <miguel@gnome.org>2011-08-02 05:52:51 +0400
committerMiguel de Icaza <miguel@gnome.org>2011-08-02 05:52:51 +0400
commit9263547137bcb5f65fec3a6ca25c1d047e6c25ec (patch)
treec08311403da6dcc544214dae03ef23719640bdb8 /configure
parent6dd95cbd1ceb5afeaec89da638d47e4920d3cfd7 (diff)
Make this work with standard ls, and avoid using that abortion of a feature from GNU ls
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index a8294b15e1..a6310af01b 100755
--- a/configure
+++ b/configure
@@ -8,6 +8,7 @@ test "$prefix" = NONE && prefix=/usr/local
usage ()
{
+ profiles=`ls profiles | sed -e "s/$/,/g" | fmt | sed -e 's/,$//' -e "s/ChangeLog, //"`
echo ""
echo "Usage : configure [--prefix=PREFIX] [--select] [--profile=PROFILE]"
echo ""
@@ -53,7 +54,7 @@ usage ()
echo " add a profile, simply create a file in the 'profiles' directory."
echo " The 'default' profile is used when none is specified."
echo ""
- echo " Profiles available:" `ls --format=commas profiles | sed -e "s/ChangeLog, //"`
+ echo " Profiles available:" $profiles
echo ""
}