wok rev 22545

updated blackbox again (0.70.1 -> 0.75)
author Hans-G?nter Theisgen
date Fri Jan 03 17:53:39 2020 +0100 (2020-01-03)
parents 779dc452891d
children 7f59b303f733
files blackbox/receipt
line diff
     1.1 --- a/blackbox/receipt	Fri Jan 03 17:12:56 2020 +0100
     1.2 +++ b/blackbox/receipt	Fri Jan 03 17:53:39 2020 +0100
     1.3 @@ -26,6 +26,7 @@
     1.4  #	patch -p0 < $stuff/blackbox-0.70.1-asneeded.patch
     1.5  #	patch -p1 < $stuff/textpropertytostring-unconditional.patch
     1.6  
     1.7 +	./autogen.sh &&
     1.8  	./configure			\
     1.9  		CC=gcc-83		\
    1.10  		CXX=g++-83		\