wok diff parole/receipt @ rev 25796

parole: removed obsolete configure option
author: Hans-G?nter Theisgen
date: Wed Oct 23 16:42:25 2024 +0100 (3 months ago)
parents: fd9bbbef8991
     1.1 --- a/parole/receipt	Fri Sep 06 09:45:40 2024 +0000
     1.2 +++ b/parole/receipt	Wed Oct 23 16:42:25 2024 +0100
     1.3 @@ -29,9 +29,10 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +#	2024-10-23	unrecognised
     1.8 +#		--disable-power-manager-plugin	
     1.9  	./configure				\
    1.10  		--disable-debug			\
    1.11 -		--disable-power-manager-plugin	\
    1.12  		$CONFIGURE_ARGS &&
    1.13  	make &&
    1.14  	make install