shift
fi
-tools_dir=$(dirname "$0")
+tools_dir=$(cd $(dirname "$0"); pwd)
. "$tools_dir/common.sh"
set -e
echo " \$arch \$conf build OK - log follows"
echo "\$sep"
cat \$log
+ $tools_dir/sanitise_log \$log >\$log.san
+ mv -f \$log.san \$log
b=\$(basename \$log)
if [ -f $obdir/\$b ]; then
if [ \$(wc -l <$obdir/\$b) -lt \$(grep -v -x -F -f $bparent/log-ignore <\$log | wc -l) ]; then