1 files changed, 5 insertions, 0 deletions
diff --git a/process b/process
index ddff019b..d12a5b6b 100755
--- a/process
+++ b/process
@@ -123,6 +123,11 @@ case $project:$action in
           cat '"$branch$build_suffix"'/log_'"$step"'* \
             | sed -e "s%\('"$mount"'\)\?${PWD}%[...]%g"' \
           > toolchain/logs/"$project"/"$host"/log_"$step"
+        if test -f toolchain/logs/"$project"/"$host"/log_"$step".sed; then
+          sed \
+            -f toolchain/logs/"$project"/"$host"/log_"$step".sed \
+            -i toolchain/logs/"$project"/"$host"/log_"$step"
+        fi
         ;;
       *)
         echo >&2 "Internal error."