diff options
-rwxr-xr-x | infrastructure/makebuildenv.pl.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infrastructure/makebuildenv.pl.in b/infrastructure/makebuildenv.pl.in index 09176c9c..9d641d78 100755 --- a/infrastructure/makebuildenv.pl.in +++ b/infrastructure/makebuildenv.pl.in @@ -447,7 +447,7 @@ __E writetestfile("$mod/_t", "GLIBCXX_FORCE_NEW=1 ". './test' . $platform_exe_ext . ' $1 $2 $3 $4 $5', $mod); writetestfile("$mod/_t-gdb", "GLIBCXX_FORCE_NEW=1 ". - 'gdb ./test' . $platform_exe_ext, $mod); + 'gdb ./test' . $platform_exe_ext . ' $*', $mod); } |