wok rev 25796

parole: removed obsolete configure option
author Hans-G?nter Theisgen
date Wed Oct 23 16:42:25 2024 +0100 (5 weeks ago)
parents ddf8fdd181da
children fceea4b4808a
files parole-dev/receipt parole-lang/receipt parole/receipt
line diff
     1.1 --- a/parole-dev/receipt	Wed Oct 23 16:34:18 2024 +0100
     1.2 +++ b/parole-dev/receipt	Wed Oct 23 16:42:25 2024 +0100
     1.3 @@ -17,3 +17,4 @@
     1.4  	cook_copy_folders	include
     1.5  	cook_copy_files		*.*a
     1.6  }
     1.7 +
     2.1 --- a/parole-lang/receipt	Wed Oct 23 16:34:18 2024 +0100
     2.2 +++ b/parole-lang/receipt	Wed Oct 23 16:42:25 2024 +0100
     2.3 @@ -15,3 +15,4 @@
     2.4  {
     2.5  	cook_copy_folders	locale
     2.6  }
     2.7 +
     3.1 --- a/parole/receipt	Wed Oct 23 16:34:18 2024 +0100
     3.2 +++ b/parole/receipt	Wed Oct 23 16:42:25 2024 +0100
     3.3 @@ -29,9 +29,10 @@
     3.4  # Rules to configure and make the package.
     3.5  compile_rules()
     3.6  {
     3.7 +#	2024-10-23	unrecognised
     3.8 +#		--disable-power-manager-plugin	
     3.9  	./configure				\
    3.10  		--disable-debug			\
    3.11 -		--disable-power-manager-plugin	\
    3.12  		$CONFIGURE_ARGS &&
    3.13  	make &&
    3.14  	make install