Re: [PATCH] Fix PR 15692 -dprintf-insert does not accept double quotes

Tom Tromey
2013-07-10T17:03:01Z

>>>>> "Hui" == Hui Zhu <teawater@gmail.com> writes:

Hui> + if { $args == "call" || $args == "fprintf" } {
Hui> + set foobarbazqux "\"foobarbazqux\""
Hui> + } else {
Hui> + set foobarbazqux "\\\\\"foobarbazqux\\\\\""
Hui> + }

Why are different regexps needed for these cases?
I thought the output was supposed to be the same in all situations.

Other than this issue the patch is ok.

Tom