diff options
Diffstat (limited to 'lib/target.exp')
| -rw-r--r-- | lib/target.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/target.exp b/lib/target.exp index 8d28770..6d82422 100644 --- a/lib/target.exp +++ b/lib/target.exp @@ -336,9 +336,9 @@ proc default_target_compile {source destfile type options} { append add_flags " [target_info adaflags]" } if {[board_info $dest exists gnatmake]} { - set compiler [target_info gnatmake]; + set compiler [target_info gnatmake] } else { - set compiler [find_gnatmake]; + set compiler [find_gnatmake] } } |