Merge branch 'ticket29435_035' into ticket29435_040

This commit is contained in:
Nick Mathewson
2019-02-08 10:47:04 -05:00
2 changed files with 5 additions and 2 deletions
+2 -2
View File
@@ -13,8 +13,8 @@ for fn in src/core/*/*.c src/feature/*/*.c src/app/*/*.c src/lib/*/*.c; do
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