diff options
Diffstat (limited to 'infrastructure/makebuildenv.pl.in')
| -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 d5ac9f2f..48958ba1 100755 --- a/infrastructure/makebuildenv.pl.in +++ b/infrastructure/makebuildenv.pl.in @@ -628,7 +628,7 @@ __E { writetestfile("$mod/t-gdb", "echo 'No debugger was detected by configure script'\n". - "exit 2"); + "exit 2", $mod); } } |