wok diff krb5/receipt @ rev 11980

remove extensions from desktop files
author Samuel Trassare <samuel_trassare@yahoo.com>
date Fri Mar 02 15:07:47 2012 -0800 (2012-03-02)
parents b7319995b37e
children b22851d31b7e
line diff
     1.1 --- a/krb5/receipt	Mon Jan 02 23:06:18 2012 +0100
     1.2 +++ b/krb5/receipt	Fri Mar 02 15:07:47 2012 -0800
     1.3 @@ -22,6 +22,8 @@
     1.4  	# that so we do the trick here.
     1.5  	if [ -d "$srcdir" -a -x /usr/bin/cook ]; then
     1.6  		mv $srcdir $CACHE && cd .. && rm -rf * && mv -f $CACHE/$srcdir .
     1.7 +	else
     1.8 +		mv $srcdir/* .
     1.9  	fi
    1.10  	cd $src/src
    1.11  	./configure --localstatedir=/var $CONFIGURE_ARGS &&