wok-current diff wxWidgets/receipt @ rev 23611

updated re2c (1.2.1 -> 1.3)
author: Hans-G?nter Theisgen
date: Tue Apr 14 06:45:07 2020 +0100 (2020-04-14)
parents: 25a18b94dcb7
children: 21b04fb54b67
     1.1 --- a/wxWidgets/receipt	Thu May 23 17:49:04 2019 +0300
     1.2 +++ b/wxWidgets/receipt	Tue Apr 14 06:45:07 2020 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4  		--enable-unicode \
     1.5  		$CONFIGURE_ARGS &&
     1.6  	make &&
     1.7 -	make DESTDIR=$DESTDIR install &&
     1.8 +	make DESTDIR=$DESTDIR install
     1.9  #	cd $src/contrib &&
    1.10  #	{
    1.11  #	make &&