wok diff rpm4/receipt @ rev 21947

updated spl (0.7.7 -> 0.7.13)
author: Hans-G?nter Theisgen
date: Tue Oct 08 17:14:12 2019 +0100 (2019-10-08)
parents: 6fab3264ba87
children: 27198696acb7
     1.1 --- a/rpm4/receipt	Fri Dec 25 15:23:46 2015 +0200
     1.2 +++ b/rpm4/receipt	Tue Oct 08 17:14:12 2019 +0100
     1.3 @@ -29,6 +29,7 @@
     1.4  		--with-dmalloc=no \
     1.5  		--with-efence=no \
     1.6  		--with-external-db \
     1.7 +		--localstatedir=/var \
     1.8  		--mandir=/usr/share/man $CONFIGURE_ARGS &&
     1.9  	make $MAKEFLAGS &&
    1.10  	make DESTDIR=$DESTDIR install