wok diff pulseaudio/receipt @ rev 23710

updated ubuntu-font-family (0.80 -> 0.83)
author: Hans-G?nter Theisgen
date: Tue Apr 28 17:22:54 2020 +0100 (2020-04-28)
parents: 8497f0e1eea5
children: 241fb98cab1c
     1.1 --- a/pulseaudio/receipt	Fri Apr 03 13:36:20 2020 +0100
     1.2 +++ b/pulseaudio/receipt	Tue Apr 28 17:22:54 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			\