diff --git a/configure b/configure index 6edfe570f0f7a3351d6f31bb3ae90134f0c06475..e3f109b06c5dfd14bd9d29e3960299f56ad85906 100755 --- a/configure +++ b/configure @@ -1488,7 +1488,7 @@ die_unknown(){ show_list() { suffix=_$1 shift - echo $* | sed s/$suffix//g | tr ' ' '\n' | sort + echo $* | sed s/$suffix//g | tr ' ' '\n' | sort | pr -3 -t exit 0 }