diff options
Diffstat (limited to '.github/workflows/gdbscript')
| -rw-r--r-- | .github/workflows/gdbscript | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/gdbscript b/.github/workflows/gdbscript new file mode 100644 index 00000000..6daff621 --- /dev/null +++ b/.github/workflows/gdbscript @@ -0,0 +1,8 @@ +#!/usr/bin/env false + +run +if $_isvoid ($_exitsignal) + quit $_exitcode +end +bt +quit 1 |