]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Change the V output file name from out-V to out-VAL.
authorJulian Seward <jseward@acm.org>
Wed, 13 Jun 2012 11:12:06 +0000 (11:12 +0000)
committerJulian Seward <jseward@acm.org>
Wed, 13 Jun 2012 11:12:06 +0000 (11:12 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12634

auxprogs/gsl16test

index 9beb73bbc53a305fab709f888a205812f5cc5479..1eff9b829e41ba3f4bbe935482eba443c704db38 100755 (executable)
@@ -100,19 +100,19 @@ rm -f out-REF
 echo "  ... done"
 
 echo -n "   Collecting valgrinded results "
-rm -f out-V
-(cd gsl-1.6-patched && for f in $ALL_TESTS ; do eval $GSL_VV -v --trace-children=yes "$GSL_VFLAGS" ./$f ; done) &> out-V
+rm -f out-VAL
+(cd gsl-1.6-patched && for f in $ALL_TESTS ; do eval $GSL_VV -v --trace-children=yes "$GSL_VFLAGS" ./$f ; done) &> out-VAL
 echo "  ... done"
 
 echo -n "   Native fails:    " && (grep FAIL: out-REF | wc -l)
 echo -n "   Native passes:   " && (grep PASS: out-REF | wc -l)
-echo -n "   Valgrind fails:  " && (grep FAIL: out-V | wc -l)
-echo -n "   Valgrind passes: " && (grep PASS: out-V | wc -l)
+echo -n "   Valgrind fails:  " && (grep FAIL: out-VAL | wc -l)
+echo -n "   Valgrind passes: " && (grep PASS: out-VAL | wc -l)
 
 (echo -n "   Native fails:    " && (grep FAIL: out-REF | wc -l)) >> summary.txt
 (echo -n "   Native passes:   " && (grep PASS: out-REF | wc -l)) >> summary.txt
-(echo -n "   Valgrind fails:  " && (grep FAIL: out-V | wc -l)) >> summary.txt
-(echo -n "   Valgrind passes: " && (grep PASS: out-V | wc -l)) >> summary.txt
+(echo -n "   Valgrind fails:  " && (grep FAIL: out-VAL | wc -l)) >> summary.txt
+(echo -n "   Valgrind passes: " && (grep PASS: out-VAL | wc -l)) >> summary.txt
 echo >> summary.txt
 
 echo