diff options
Diffstat (limited to '')
| -rw-r--r-- | m4/pretty_print.m4 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/m4/pretty_print.m4 b/m4/pretty_print.m4 new file mode 100644 index 000000000..37efe5de1 --- /dev/null +++ b/m4/pretty_print.m4 @@ -0,0 +1,17 @@ +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 "+" + else + echo -n "-" + fi + echo -n "$2) " +]) |