For diff, use log_[step].diff.sed files instead of log_[step].sed.

1 files changed, 2 insertions, 2 deletions

diff --git a/process b/process
index cb3d6785..ddff019b 100755
--- a/process
+++ b/process
@@ -206,11 +206,11 @@ case $project:$action in
       | gdb:build | gdb:install | gdb:test \
       | llvm:build | llvm:install | llvm:test)
         sed \
-          -f toolchain/logs/"$project"/"$linux_host"/log_"$step".sed \
+          -f toolchain/logs/"$project"/"$linux_host"/log_"$step".diff.sed \
           < toolchain/logs/"$project"/"$linux_host"/log_"$step" \
           > toolchain/logs/"$project"/"$linux_host"/log_"$step"_
         sed \
-          -f toolchain/logs/"$project"/"$hurd_host"/log_"$step".sed \
+          -f toolchain/logs/"$project"/"$hurd_host"/log_"$step".diff.sed \
           < toolchain/logs/"$project"/"$hurd_host"/log_"$step" \
           > toolchain/logs/"$project"/"$hurd_host"/log_"$step"_
         r=0