wok diff discount/receipt @ rev 22746

updated ecj (4.10 -> 4.14)
author Hans-G?nter Theisgen
date Fri Jan 24 10:35:46 2020 +0100 (2020-01-24)
parents fb8526ee16f5
children 5ea0ce1cecc0
line diff
     1.1 --- a/discount/receipt	Thu Jan 23 17:26:34 2020 +0100
     1.2 +++ b/discount/receipt	Fri Jan 24 10:35:46 2020 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  compile_rules()
     1.5  {
     1.6  	./configure.sh --prefix=/usr &&
     1.7 -	make &&
     1.8 +	make -j 1 &&
     1.9  	make DESTDIR=$DESTDIR install
    1.10  }
    1.11