diff options
Diffstat (limited to 'testsuite/lib/report-card.exp')
| -rw-r--r-- | testsuite/lib/report-card.exp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/lib/report-card.exp b/testsuite/lib/report-card.exp index 7fa8838..b071082 100644 --- a/testsuite/lib/report-card.exp +++ b/testsuite/lib/report-card.exp @@ -21,7 +21,8 @@ # Ensure that the dejagnu(1) launcher is available for testing. if { ![info exists LAUNCHER] } { set LAUNCHER \ - [file join [file dirname [testsuite file -source -top]] dejagnu] + [file normalize \ + [file join [file dirname [testsuite file -source -top]] dejagnu]] } verbose "Using LAUNCHER $LAUNCHER" 2 |