diff options
| author | Gunnar Beutner <gbeutner@serenityos.org> | 2022-11-14 15:56:33 +0100 |
|---|---|---|
| committer | Tim Flynn <trflynn89@pm.me> | 2022-11-15 07:27:00 -0500 |
| commit | 3287aa20b12ef83b0dd70b201fc45731ed07e6f7 (patch) | |
| tree | 2c10b583416dea6a618d84394bf1c551ddfcc998 /Meta | |
| parent | 67865306d3ad1f23098c7d4658c470a788f6786e (diff) | |
| download | serenity-3287aa20b12ef83b0dd70b201fc45731ed07e6f7.zip | |
Meta: Don't try to enable GDB support on Windows
This probably didn't work before either but the option
was silently ignored by GDB. Unfortunately 7.2.0-rc0 isn't so kind.
Diffstat (limited to 'Meta')
| -rwxr-xr-x | Meta/run.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Meta/run.sh b/Meta/run.sh index 6d33482dc5..68775dac67 100755 --- a/Meta/run.sh +++ b/Meta/run.sh @@ -238,6 +238,10 @@ if [ -z "$SERENITY_HOST_IP" ]; then SERENITY_HOST_IP="127.0.0.1" fi +if command -v wslpath >/dev/null; then + SERENITY_DISABLE_GDB_SOCKET=1 +fi + if [ -z "$SERENITY_DISABLE_GDB_SOCKET" ]; then SERENITY_EXTRA_QEMU_ARGS="$SERENITY_EXTRA_QEMU_ARGS -gdb tcp:${SERENITY_HOST_IP}:1234" fi |