# HG changeset patch # User Hans-G?nter Theisgen # Date 1729698145 -3600 # Node ID d953db83781d255ee4902fc92f2a7531762cde66 # Parent ddf8fdd181daf8bdf9262f27ed6a6f7c2a78ee51 parole: removed obsolete configure option diff -r ddf8fdd181da -r d953db83781d parole-dev/receipt --- a/parole-dev/receipt Wed Oct 23 16:34:18 2024 +0100 +++ b/parole-dev/receipt Wed Oct 23 16:42:25 2024 +0100 @@ -17,3 +17,4 @@ cook_copy_folders include cook_copy_files *.*a } + diff -r ddf8fdd181da -r d953db83781d parole-lang/receipt --- a/parole-lang/receipt Wed Oct 23 16:34:18 2024 +0100 +++ b/parole-lang/receipt Wed Oct 23 16:42:25 2024 +0100 @@ -15,3 +15,4 @@ { cook_copy_folders locale } + diff -r ddf8fdd181da -r d953db83781d parole/receipt --- a/parole/receipt Wed Oct 23 16:34:18 2024 +0100 +++ b/parole/receipt Wed Oct 23 16:42:25 2024 +0100 @@ -29,9 +29,10 @@ # Rules to configure and make the package. compile_rules() { +# 2024-10-23 unrecognised +# --disable-power-manager-plugin ./configure \ --disable-debug \ - --disable-power-manager-plugin \ $CONFIGURE_ARGS && make && make install