diff options
Diffstat (limited to 'find/testsuite/find.gnu/sv-bug-12230.exp')
| -rw-r--r-- | find/testsuite/find.gnu/sv-bug-12230.exp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/find/testsuite/find.gnu/sv-bug-12230.exp b/find/testsuite/find.gnu/sv-bug-12230.exp new file mode 100644 index 0000000..3af22c6 --- /dev/null +++ b/find/testsuite/find.gnu/sv-bug-12230.exp @@ -0,0 +1,14 @@ +# Bug report by Dmitry V. Levin. +# +# The command: +# find tmp -false -execdir echo == {} + +# Actually produces one line of output. It +# should produce none, because the echo command +# should never be invoked. +# +if { [ safe_path ] } { + exec rm -rf tmp + exec mkdir tmp + find_start p { tmp -false -execdir echo == "{}" + } + exec rm -rf tmp +} |