From: Nick Mathewson <nickm@torproject.org>
Date: Fri, 8 Feb 2019 15:47:04 +0000 (-0500)
Subject: Merge branch 'ticket29435_035' into ticket29435_040
X-Git-Tag: tor-0.4.0.3-alpha~29^2~1^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f2b646a2b6111763f30d6d5193340044a0b29b01;p=thirdparty%2Ftor.git

Merge branch 'ticket29435_035' into ticket29435_040
---

f2b646a2b6111763f30d6d5193340044a0b29b01
diff --cc scripts/test/coverage
index 7a417cdc89,b6e17abe25..f61c83bc72
--- a/scripts/test/coverage
+++ b/scripts/test/coverage
@@@ -8,13 -8,13 +8,13 @@@
  dst=$1
  
  for fn in src/core/*/*.c src/feature/*/*.c src/app/*/*.c src/lib/*/*.c; do
 -    BN=`basename $fn`
 -    DN=`dirname $fn`
 -    F=`echo $BN | sed -e 's/\.c$//;'`
 +    BN=$(basename "$fn")
 +    DN=$(dirname "$fn")
 +    F=$(echo "$BN" | sed -e 's/\.c$//;')
      GC="${BN}.gcov"
      # Figure out the object file names
-     ONS=$(echo "${DN}"/src_*-"${F}".o)
-     ONS_WILDCARD_LITERAL="${DN}/src_*-${F}.o"
+     ONS=$(echo "${DN}"/*testing_a-"${F}".o)
+     ONS_WILDCARD_LITERAL="${DN}/*testing_a-${F}.o"
      # If the wildcard didn't expand, no files
      if [ "$ONS" != "${ONS_WILDCARD_LITERAL}" ]
      then