# ============= Check whether configurations for a port is default =============
database_query_is_default_conf ()
{
- local origin mode dbpath tmp_msg is_customized is_requiremnt_replaced files origin_regexp tmp_old tmp_new origin_requirement
+ local origin mode dbpath tmp_msg is_customized is_requiremnt_replaced files origin_regexp tmp_old tmp_new origin_requirement tmp_msg_customized
origin=$1
mode=$2
dbpath=${DBDIR}/requires/$origin
[ `wc -c < $dbpath/is_customized` -eq 0 ] && return
if [ "x$mode" != xquiet ]
then
+ tmp_msg_customized=${TMPDIR}/database_query_is_default_conf:msg_customized
message_echo "INFO: This port is configured to be non-default because of"
- sed 's/^/ /' "$dbpath/is_customized" | message_cat <&3
+ sed 's/^/ /' "$dbpath/is_customized" > $tmp_msg_customized
+ message_cat "$tmp_msg_customized"
message_echo " so the prebuilt package is not used."
fi
return 1