Gdb 打印未按预期顺序进行`

我有以下gdb脚本：

define test1
printf " Foo "
!date
printf "\n"
end

我期望输出为： 富周二10月1日15:01:58 PDT 2013

然而，我得到的是： 2013年10月1日星期二15:01:58 PDT 福

我觉得我需要以某种方式“冲洗”指纹。有人能帮我理解这里发生了什么吗。为什么输出是反向的

谢谢,，

---

艾哈迈德。

在我看来，这就像一个gdb bug。我同意printf应该刷新其输出流。你能在gdb bugzilla中存档吗