tree ef14f5d17fb2cc40382fe950947f09842ecc20ed
parent b16c4502388d6adf31b040751f56a183ad3778d8
author Wail Alkowaileet <wael.y.k@gmail.com> 1716435709 -0700
committer Wail Alkowaileet <wael.y.k@gmail.com> 1716444871 +0000

[NO ISSUE] Use DebugHolePuncher for non-linux machines

- user model changes: no
- storage format changes: no
- interface changes: no

Details:
Use DebugHolePuncher instead of throwing an exception
on non-linux boxes.

Change-Id: Id19aabffdd52d6578cd48e0e8578bec3fe729a8a
Reviewed-on: https://asterix-gerrit.ics.uci.edu/c/asterixdb/+/18312
Reviewed-by: Michael Blow <mblow@apache.org>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Wail Alkowaileet <wael.y.k@gmail.com>