Search Results

You have not said what shell you are using but all modern shells have a wait builtin which will do what you want.

Here is the relevant section from the bash manpage.

Try awk -vRS="D" -vORS="D" '!/No result/' file