diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -313,6 +313,10 @@ sh_quote(){ echo "$v" } +cleanws(){ + echo "$@" | sed 's/^ *//;s/ */ /g;s/ *$//' +} + filter(){ pat=$1 shift |