wok diff icinga/receipt @ rev 21339

updated gnuradio (3.7.10.1 -> 3.7.13.4)
author: Hans-G?nter Theisgen
date: Sat Apr 20 11:34:23 2019 +0100 (2019-04-20)
parents: de49f29b101e
children: 535c806240cc
     1.1 --- a/icinga/receipt	Thu Dec 05 15:25:09 2013 +0000
     1.2 +++ b/icinga/receipt	Sat Apr 20 11:34:23 2019 +0100
     1.3 @@ -36,7 +36,7 @@
     1.4  		--with-mail=/usr/bin/mailx \
     1.5  		$CONFIGURE_ARGS &&
     1.6  	make all && \
     1.7 -	make DESTDIR=$PWD/_pkg install \
     1.8 +	make DESTDIR=$DESTDIR install \
     1.9  	    install-commandmode \
    1.10  		install-config \
    1.11  		install-webconf \