Estou tentando fazer com que o gdb execute programas com redirecionamento de entrada para o stdin. Por exemplo, sem o gdb, eu executaria um programa como este:

prog < input.txt

Agora, em gdb, a maneira usual de fazer isso érun < input.txt. No entanto, isso não funciona para mim e, ao fazer isso, nada é redirecionado para o stdin.

Estou usando o Windows com MinGW. Qual poderia ser o problema?