[DynInst_API:] [dyninst/dyninst] 01b2a0: Fix build error in docker/build.sh

[Tim Haines <noreply@xxxxxxxxxx>]

  Branch: refs/heads/thaines/fix_build_script
  Home:   https://github.com/dyninst/dyninst
  Commit: 01b2a0faf21c0b6e265cd21b445008062ae9978f
      https://github.com/dyninst/dyninst/commit/01b2a0faf21c0b6e265cd21b445008062ae9978f
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2025-11-12 (Wed, 12 Nov 2025)

  Changed paths:
    M docker/build.sh

  Log Message:
  -----------
  Fix build error in docker/build.sh

I do not know why, but when the install directory ($dest_dir) is
manually created with 'mkdir' instead of letting it be implicitly
created by 'cmake --build', 'ctest' fails to find the tests- even when
I have confirmed they are present.

I've added '--no-tests=error' to ensure that ctest fails when no tests
are run.



To unsubscribe from these emails, change your notification settings at https://github.com/dyninst/dyninst/settings/notifications