wok-6.x diff purple-facebook/receipt @ rev 22857

updated gmp and gmp-dev (6.1.2 -> 6.2.0)
author: Hans-G?nter Theisgen
date: Thu Feb 20 14:33:27 2020 +0100 (2020-02-20)
parents: bf3651514a39
children: 5ea0ce1cecc0
     1.1 --- a/purple-facebook/receipt	Tue Feb 19 13:08:30 2019 -0500
     1.2 +++ b/purple-facebook/receipt	Thu Feb 20 14:33:27 2020 +0100
     1.3 @@ -16,8 +16,8 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -        ./configure --prefix=/usr
     1.8 -        make && 
     1.9 +	./configure --prefix=/usr
    1.10 +	make && 
    1.11  	make DESTDIR=$DESTDIR install
    1.12  }
    1.13