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..a22357a8d --- /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 match $1 'with'` + if test "$num" != "0"; then + var="`echo '$'$1`" + else + var="`echo '$'enable_$1`" + fi + + echo -n '(' + if eval "test x$var = xyes"; then + echo -n '+' + elif test -n "$3" && eval "test x$var = x$3"; then + echo -n '+' + else + echo -n '-' + fi + echo -n "$2) " +]) |