wok diff zsh/receipt @ rev 20780

updated check and check-dev (0.9.14 -> 0.12.0)
author: Hans-G?nter Theisgen
date: Thu Feb 14 14:42:25 2019 +0100 (2019-02-14)
parents: 6fab3264ba87
children: 02c70d036ea0
     1.1 --- a/zsh/receipt	Fri Dec 25 15:23:46 2015 +0200
     1.2 +++ b/zsh/receipt	Thu Feb 14 14:42:25 2019 +0100
     1.3 @@ -18,9 +18,10 @@
     1.4  compile_rules()
     1.5  {
     1.6  	./configure --bindir=/bin \
     1.7 -	--disable-dynamic --enable-multibyte \
     1.8 -	--enable-fndir=/usr/share/zsh/functions \
     1.9 -	--enable-scriptdir=/usr/share/zsh/scripts \
    1.10 +		--disable-dynamic --enable-multibyte \
    1.11 +		--enable-fndir=/usr/share/zsh/functions \
    1.12 +		--enable-scriptdir=/usr/share/zsh/scripts \
    1.13 +		--with-tcsetpgrp \
    1.14  	$CONFIGURE_ARGS &&
    1.15  	make &&
    1.16  	make install