diff options
| author | Martin Ebourne <martin@ebourne.me.uk> | 2005-12-12 23:56:44 +0000 |
|---|---|---|
| committer | Martin Ebourne <martin@ebourne.me.uk> | 2005-12-12 23:56:44 +0000 |
| commit | 62fcbae63de111cd2191cce3af4158af819914ee (patch) | |
| tree | 67b3cf0cce33cca19b61fe8e154aefb2ca783f17 /infrastructure/makebuildenv.pl | |
| parent | a229c7a74ace6e26165bbb71bfe565be837e5830 (diff) | |
Merged 210:218 from chris/win32/merge/07-win32-fixes to trunk
Diffstat (limited to 'infrastructure/makebuildenv.pl')
| -rwxr-xr-x | infrastructure/makebuildenv.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infrastructure/makebuildenv.pl b/infrastructure/makebuildenv.pl index 64c73eb0..ee0e6506 100755 --- a/infrastructure/makebuildenv.pl +++ b/infrastructure/makebuildenv.pl @@ -408,9 +408,9 @@ __E } writetestfile("$mod/_t", - './test${platform_exe_ext} $1 $2 $3 $4 $5', $mod); + './test' . $platform_exe_ext . '$1 $2 $3 $4 $5', $mod); writetestfile("$mod/_t-gdb", - 'gdb ./test${platform_exe_ext}', $mod); + 'gdb ./test ' . $platform_exe_ext, $mod); } |