wok-current rev 22735

updated discount and discount-dev again (2.2.5 -> 2.2.6)
author Hans-G?nter Theisgen
date Thu Jan 23 17:34:22 2020 +0100 (2020-01-23)
parents fb8526ee16f5
children f26b964dc2aa
files discount-dev/receipt discount/receipt
line diff
     1.1 --- a/discount-dev/receipt	Thu Jan 23 17:26:34 2020 +0100
     1.2 +++ b/discount-dev/receipt	Thu Jan 23 17:34:22 2020 +0100
     1.3 @@ -21,3 +21,4 @@
     1.4  	cp -a $install/usr/include	$fs/usr
     1.5  	cp -a $install/usr/lib		$fs/usr
     1.6  }
     1.7 +
     2.1 --- a/discount/receipt	Thu Jan 23 17:26:34 2020 +0100
     2.2 +++ b/discount/receipt	Thu Jan 23 17:34:22 2020 +0100
     2.3 @@ -20,7 +20,7 @@
     2.4  compile_rules()
     2.5  {
     2.6  	./configure.sh --prefix=/usr &&
     2.7 -	make &&
     2.8 +	make -j 1 &&
     2.9  	make DESTDIR=$DESTDIR install
    2.10  }
    2.11