From: Julian Seward <jseward@acm.org>
Date: Wed, 13 Jun 2012 11:12:06 +0000 (+0000)
Subject: Change the V output file name from out-V to out-VAL.
X-Git-Tag: svn/VALGRIND_3_8_0~234
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a783a5c0f4f2e4cbff7a2a770251d899f7a1964e;p=thirdparty%2Fvalgrind.git

Change the V output file name from out-V to out-VAL.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12634
---

diff --git a/auxprogs/gsl16test b/auxprogs/gsl16test
index 9beb73bbc5..1eff9b829e 100755
--- a/auxprogs/gsl16test
+++ b/auxprogs/gsl16test
@@ -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