wok diff pulseaudio/receipt @ rev 23819

updated cacerts (20190517 -> 20200522)
author: Hans-G?nter Theisgen
date: Wed May 27 17:52:58 2020 +0100 (2020-05-27)
parents: 8497f0e1eea5
children: 241fb98cab1c
     1.1 --- a/pulseaudio/receipt	Fri Apr 03 13:36:20 2020 +0100
     1.2 +++ b/pulseaudio/receipt	Wed May 27 17:52:58 2020 +0100
     1.3 @@ -28,10 +28,11 @@
     1.4  {
     1.5  	grep -rsl 'uname -m' $src | xargs sed -i 's|uname -m|echo i686|'
     1.6  
     1.7 +	export	CC=gcc-83
     1.8 +	export	CXX=g++-83
     1.9 +
    1.10  	./bootstrap.sh &&
    1.11  	./configure					\
    1.12 -		CC=gcc-83				\
    1.13 -		CXX=g++-83				\
    1.14  		--sysconfdir=/etc			\
    1.15  		--localstatedir=/var			\
    1.16  		--disable-bluez4			\