wok diff mc/receipt @ rev 22805

updated gawk (4.2.1 -> 5.0.1)
author Hans-G?nter Theisgen
date Tue Jan 28 10:03:39 2020 +0100 (2020-01-28)
parents fbb5bc751677
children b7a8bcb5d575
line diff
     1.1 --- a/mc/receipt	Thu Apr 25 16:33:53 2019 +0100
     1.2 +++ b/mc/receipt	Tue Jan 28 10:03:39 2020 +0100
     1.3 @@ -29,6 +29,7 @@
     1.4  		--prefix=/usr		\
     1.5  		--with-gpm-mouse	\
     1.6  		--with-screen=ncurses	\
     1.7 +		--without-subshell	\
     1.8  		--libexecdir=/usr/lib	\
     1.9  		--sysconfdir=/etc	\
    1.10  		$CONFIGURE_ARGS &&