From 2ff9a87d3603f010e7831e9d0a8d5c029dcd4846 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 24 Jul 2020 19:37:45 +0200
Subject: > vs tee

---
 test/monniaux/picosat-965/onefile/testcmp.sh | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'test/monniaux/picosat-965/onefile/testcmp.sh')

diff --git a/test/monniaux/picosat-965/onefile/testcmp.sh b/test/monniaux/picosat-965/onefile/testcmp.sh
index ffeb5e03..bab609e2 100755
--- a/test/monniaux/picosat-965/onefile/testcmp.sh
+++ b/test/monniaux/picosat-965/onefile/testcmp.sh
@@ -31,32 +31,32 @@ if ! $HOSTCC5 $CFILES -o picosat.cc5.host ;
 then exit 35 ;
 fi
 
-timeout 1 ./picosat.cc1.host $DATA 2>&1 | tee picosat.cc1.out
+timeout 1 ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.out
 if [ $? -ge 100 ];
 then exit 41 ;
 fi
 
-timeout 1 valgrind --log-file=picosat.cc1.valgrind.log ./picosat.cc1.host $DATA 2>&1 | tee picosat.cc1.valgrind.out
+timeout 1 valgrind --log-file=picosat.cc1.valgrind.log ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.valgrind.out
 if [ $? -ge 100 ];
 then exit 51 ;
 fi
 
-timeout 1 ./picosat.cc2.host $DATA 2>&1 | tee picosat.cc2.out
+timeout 1 ./picosat.cc2.host $DATA 2>&1 > picosat.cc2.out
 if [ $? -ge 100 ];
 then exit 42 ;
 fi
 
-timeout 1 ./picosat.cc3.host $DATA 2>&1 | tee picosat.cc3.out
+timeout 1 ./picosat.cc3.host $DATA 2>&1 > picosat.cc3.out
 if [ $? -ge 100 ];
 then exit 43 ;
 fi
 
-timeout 1 ./picosat.cc4.host $DATA 2>&1 | tee picosat.cc4.out
+timeout 1 ./picosat.cc4.host $DATA 2>&1 > picosat.cc4.out
 if [ $? -ge 100 ];
 then exit 44 ;
 fi
 
-timeout 1 ./picosat.cc5.host $DATA 2>&1 | tee picosat.cc5.out
+timeout 1 ./picosat.cc5.host $DATA 2>&1 > picosat.cc5.out
 if [ $? -ge 100 ];
 then exit 45 ;
 fi
@@ -85,7 +85,7 @@ if ! $CCOMP -fprepass -fprepass= list $CFILES -o picosat.prepass.target ;
 then exit 3 ;
 fi
 
-$SIMU ./picosat.gcc.target $DATA 2>&1 | tee picosat.gcc.out
+$SIMU ./picosat.gcc.target $DATA 2>&1 > picosat.gcc.out
 if [ $? -ge 100 ];
 then exit 4 ;
 fi
@@ -98,7 +98,7 @@ if grep timeout picosat.gcc.out ;
 then exit 8 ;
 fi
 
-$SIMU ./picosat.ccomp.target $DATA 2>&1 | tee picosat.ccomp.out
+$SIMU ./picosat.ccomp.target $DATA 2>&1 > picosat.ccomp.out
 if [ $? -ge 100 ];
 then exit 5 ;
 fi
@@ -111,7 +111,7 @@ if ! cmp picosat.gcc.out picosat.ccomp.out ;
 then exit 6 ;
 fi
 
-$SIMU ./picosat.prepass.target $DATA 2>&1 | tee picosat.prepass.out
+$SIMU ./picosat.prepass.target $DATA 2>&1 > picosat.prepass.out
 if [ $? -ge 100 ];
 then exit 0 ;
 fi
-- 
cgit