diff options
Diffstat (limited to 'm4/pretty_print.m4')
| -rw-r--r-- | m4/pretty_print.m4 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/m4/pretty_print.m4 b/m4/pretty_print.m4 new file mode 100644 index 000000000..687dceefe --- /dev/null +++ b/m4/pretty_print.m4 @@ -0,0 +1,19 @@ +AC_DEFUN([results], [ + dnl This is a hack to allow "with" names, otherwise "enable". + num=`expr $1 : 'with'` + if test "$num" != "0"; then + var="`echo '$'$1`" + else + var="`echo '$'enable_$1`" + fi + + printf '(' + if eval "test x$var = xyes"; then + printf '+' + elif test -n "$3" && eval "test x$var = x$3"; then + printf '+' + else + printf '-' + fi + printf '%s) ' "$2" +]) |