ci: tell this package's objects from the build tool's by name, since both are in one directory

Author: Sunrisepeak

.github/workflows/ci.yml

@@ -99,8 +99,9 @@ jobs:
           # This package's own objects, and not the ones the build tool emits
           # beside them: one of those exists to initialise a standard library
           # this package does not use, and it is not this package's to answer
-          # for.
-          objs="$(find target -path '*/obj/src/*' -name '*.o' ! -name '*.m.o' | tr '\n' ' ')"
+          # for. They are told apart by name, because the tool places both in
+          # one directory.
+          objs="$(find target -path '*/obj/*' -name '*.o' ! -name '*.m.o' ! -name 'mcpp_*' | tr '\n' ' ')"
           test -n "$objs" || { echo "no objects were found" >&2; exit 1; }
           bash .spec/tools/check-surface.sh --complete .spec/SURFACE.txt $objs
 
@@ -110,7 +111,7 @@ jobs:
       - name: The objects reference nothing of a C library but the two named
         run: |
           rm -rf target && mcpp build --features standalone
-          objs="$(find target -path '*/obj/src/*' -name '*.o' ! -name '*.m.o')"
+          objs="$(find target -path '*/obj/*' -name '*.o' ! -name '*.m.o' ! -name 'mcpp_*')"
           test -n "$objs" || { echo "no objects were found; the check would pass vacuously" >&2; exit 1; }
 
           # The permitted set, and why each entry is in it.
@@ -150,7 +151,7 @@ jobs:
         run: |
           printf 'extern "C" int puts(const char*);\nextern "C" void okm_probe(void) { puts("x"); }\n' > src/probe.cpp
           rm -rf target && mcpp build --features standalone
-          objs="$(find target -path '*/obj/src/*' -name '*.o' ! -name '*.m.o')"
+          objs="$(find target -path '*/obj/*' -name '*.o' ! -name '*.m.o' ! -name 'mcpp_*')"
           if ! nm -u $objs | sed 's/^ *//' | grep -qx '_puts'; then
             echo "the probe did not produce the reference it was written to produce" >&2
             rm -f src/probe.cpp; exit 1