#!/bin/bash

awk -v RS='abc ' '$1 == "def" {print RT $0}'