-# Copyright 2003-2021 Free Software Foundation, Inc.
+# Copyright 2003-2023 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
clean_restart ${binfile}
-if ![runto abort {allow-pending}] then {
- continue
+if {![runto abort {allow-pending}]} {
+ return
}
# See http://sources.redhat.com/gdb/bugs/1250