wok-next diff flex/stuff/flex.patch @ rev 19973
mrxvt-unicode : ./configure : remove "--enable-everything"
author | Xander Ziiryanoff <psychomaniak@xakep.ru> |
---|---|
date | Tue Oct 17 20:06:27 2017 +0200 (2017-10-17) |
parents | |
children |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/flex/stuff/flex.patch Tue Oct 17 20:06:27 2017 +0200 1.3 @@ -0,0 +1,11 @@ 1.4 +--- a/configure 1.5 ++++ b/configure 1.6 +@@ -18893,7 +18893,7 @@ 1.7 + fi 1.8 + 1.9 + 1.10 +- if test -z "$ac_cv_path_HELP2MAN" ; then : 1.11 ++ if test -n "$ac_cv_path_HELP2MAN" ; then : 1.12 + 1.13 + else 1.14 + { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: program not found: help2man: building man page will not work" >&5