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