diff options
author | Ben Elliston <bje@gnu.org> | 2004-11-04 03:57:51 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2004-11-04 03:57:51 +0000 |
commit | c010382df8a5da9dda7dc091d7b716517e28e299 (patch) | |
tree | 98637c17e31ccec8100552d539542fd16baf729b /lib | |
parent | ca85cfd15269f4a028b99fe5cf8b866fa1b86d80 (diff) | |
download | dejagnu-c010382df8a5da9dda7dc091d7b716517e28e299.zip dejagnu-c010382df8a5da9dda7dc091d7b716517e28e299.tar.gz dejagnu-c010382df8a5da9dda7dc091d7b716517e28e299.tar.bz2 |
* lib/dg.exp (dg-test): If a `dg-do run' test fails to compile,
mark the test as unresolved, rather than warning.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/dg.exp | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ # `dg' general purpose testcase driver. # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, -# 2001, 2002, 2003 Free Software Foundation, Inc. +# 2001, 2002, 2003, 2004 Free Software Foundation, Inc. # # This file is part of DejaGnu. # @@ -832,7 +832,7 @@ proc dg-test { args } { # the `keyword' argument of dg-do. This could be cleaned up. if { [lindex ${dg-do-what} 0] == "run" } { if ![file exists $output_file] { - warning "$name compilation failed to produce executable" + unresolved "$name compilation failed to produce executable" } else { set status -1 set result [${tool}_load $output_file] |