diff options
| author | Stanislaw Halik <sthalik@misaki.pl> | 2023-02-09 19:15:05 +0100 |
|---|---|---|
| committer | Stanislaw Halik <sthalik@misaki.pl> | 2023-02-09 19:15:05 +0100 |
| commit | 31624b53db699f5ddcea1a48280c6d831c918ac1 (patch) | |
| tree | 1d9290bb99b095b08ecb5a6699c7f111b93121c1 /.github/workflows | |
| parent | c428c495b56a53ac77d9e0b356a5b0014589be76 (diff) | |
gdbscript: maybe fix it
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/gdbscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/gdbscript b/.github/workflows/gdbscript index aecb2a04..b5d161f6 100644 --- a/.github/workflows/gdbscript +++ b/.github/workflows/gdbscript @@ -1,7 +1,7 @@ #!/usr/bin/env false set disable-randomization off -break abort +catch throw run if $_isvoid ($_exitsignal) quit $_exitcode |
