# gdb_compile to determine whether the build has succeeded or not.
# We therefore simply check whether the dest file has been created
# or not. Unless not present, the build has succeeded.
- if [file exists $dest] { set result "" }
- gdb_compile_test $source $result
- return $result
+ if ![file exists $dest] {
+ unsupported "Ada compilation failed: $result"
+ return "Ada compilation failed."
+ }
}