if [ "$ROCKCFG_PKG_BOEHMGC_JAVA3" == "1" -o "$ROCKCFG_PKG_BOEHMGC_JAVA33" == "1" ]; then var_append patchfiles ' ' $confdir/install_private_headers.diff # this files should be flistdeleted because are not wanted on final systems . $confdir/install_private_headers.infi
if [ "$ROCKCFG_PKG_BOEHMGC_JAVA3" == "1" -o "$ROCKCFG_PKG_BOEHMGC_JAVA33" == "1" ]; then
var_append patchfiles ' ' $confdir/install_private_headers.diff
# this files should be flistdeleted because are not wanted on final systems
. $confdir/install_private_headers.in
fi