diff options
Diffstat (limited to 'm4/pretty_print.m4')
| -rw-r--r-- | m4/pretty_print.m4 | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/m4/pretty_print.m4 b/m4/pretty_print.m4 deleted file mode 100644 index 687dceef..00000000 --- a/m4/pretty_print.m4 +++ /dev/null @@ -1,19 +0,0 @@ -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" -]) |