diff options
author | Miguel de Icaza <miguel@gnome.org> | 2011-08-02 05:52:51 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2011-08-02 05:52:51 +0400 |
commit | 9263547137bcb5f65fec3a6ca25c1d047e6c25ec (patch) | |
tree | c08311403da6dcc544214dae03ef23719640bdb8 /configure | |
parent | 6dd95cbd1ceb5afeaec89da638d47e4920d3cfd7 (diff) |
Make this work with standard ls, and avoid using that abortion of a feature from GNU ls
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 "" } |