Only reset target once.

diff --git a/dejagnu/ChangeLog b/dejagnu/ChangeLog
index 2dfe97a..69068ba 100644 (file)
--- a/dejagnu/ChangeLog
+++ b/dejagnu/ChangeLog
@@ -1,3 +1,7 @@
+Sun Jun  4 12:59:06 2000  Andrew Cagney  <cagney@b1.cygnus.com>
+
+       * lib/target.exp (reboot_target): Don't reboot target twice.
+
 Wed May  3 19:41:07 2000  Andrew Cagney  <cagney@b1.cygnus.com>
 
        From Felix Lee <flee@cygnus.com>:

diff --git a/dejagnu/lib/target.exp b/dejagnu/lib/target.exp
index 6d51d7c..c4f3613 100644 (file)
--- a/dejagnu/lib/target.exp
+++ b/dejagnu/lib/target.exp
@@ -642,7 +642,7 @@ proc default_target_compile {source destfile type options} {
 proc reboot_target { } {
     set result [remote_reboot target]
     puts "REBOOT_TARGET: \"$result\""
-    return [remote_reboot target];
+    return ${result};
 }
 
 #