2012-07-19 Pedro Alves <palves@redhat.com>
[binutils-gdb.git] / gdb / testsuite / config / vx.exp
index 8a1a060b0d855a40cc6206b4b885c97fd3913810..29c3b1bf2428cfb1c3325d4453aea5ded5b0b525 100644 (file)
@@ -1,5 +1,5 @@
-#   Copyright 1988, 1990, 1991, 1992, 1995, 1997, 2007, 2008, 2009
-#   Free Software Foundation, Inc.
+#   Copyright 1988, 1990-1992, 1995, 1997, 2007-2012 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
@@ -59,7 +59,7 @@ proc gdb_start { } {
     global reboot
 
     # get a connection to the board
-    for { set x 0; } { $x < 3 } { incr x } {
+    for { set x 0 } { $x < 3 } { incr x } {
        set shell_id [remote_open target]
        if { $shell_id > 0 } {
            verbose "Spawn id for remote shell is $shell_id"