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